There's no need to copy the interest script into the scratch dir.

ykjit · Jun 7, 2024 · 08ec941 · 08ec941
1 parent 51b872e
commit 08ec941
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/creduce/README.md b/creduce/README.md
@@ -28,7 +28,9 @@ Run creduce with `cvise`:
 
 ```shell
 cd src
-cvise ./cvise.example.sh onelua.c
+cvise /path/to/interest_script.sh onelua.c
 ```
 
+See `cvise.example.sh` for an example interest script.
+
 > cvice will reduce the lines of the `onelua.c` file as long as `./cvise.example.sh` executes successfully. It will overwrite the `onelua.c` file in place. Original content can be found in `onelua.c.orig`.
diff --git a/creduce/build_onelua.sh b/creduce/build_onelua.sh
@@ -14,7 +14,6 @@ fi
 
 cp -r "../src" "./src"
 cp "Makefile" "./src/Makefile"
-cp ./cvise.example.sh "./src/cvise.example.sh"
 cp "./one.c" "./src/one.c"
 
 cd "./src"