diff options
Diffstat (limited to 'src/templating/run-original-tests.sh')
| -rwxr-xr-x | src/templating/run-original-tests.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/templating/run-original-tests.sh b/src/templating/run-original-tests.sh index 05b57ffd6..21481a286 100755 --- a/src/templating/run-original-tests.sh +++ b/src/templating/run-original-tests.sh @@ -4,15 +4,6 @@ set -eux export CFLAGS="-g" -function build() -{ - make clean - make -} - -# Install rebuild-on-exit handler (except for kill -9) -trap build EXIT - echo "Ensuring clean state on entry to upstream tests ..." make clean |