diff options
-rw-r--r-- | tools/extract/README.txt | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/extract/README.txt b/tools/extract/README.txt deleted file mode 100644 index 81811a3..0000000 --- a/tools/extract/README.txt +++ /dev/null @@ -1,15 +0,0 @@ -I checked in a new tool, primarily useful for debugging. Given a module -and a function name, it extracts just the specified function from the -module, with a minimum of related cruft (global variables, function -prototypes, etc). - -This is useful because often something will die (for example SCCP -miscompiles one function of a large benchmark), and so you want to just -cut the testcase down to the one function that is being a problem. In -this case, 'extract' eliminates all of the extraneous global variables, -type information, and functions that aren't necessary, giving you -something simpler. - -This is just an FYI, because I've found it useful and thought you guys -might as well. - |