From 08ec9418647644d7c27da2c91d0e1f4288dda122 Mon Sep 17 00:00:00 2001 From: Edd Barrett Date: Fri, 7 Jun 2024 13:26:04 +0100 Subject: [PATCH] There's no need to copy the interest script into the scratch dir. --- creduce/README.md | 4 +++- creduce/build_onelua.sh | 1 - 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/creduce/README.md b/creduce/README.md index 8fe194d..b30042d 100644 --- 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 index c6e2e72..8aa4de5 100644 --- 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"