diff --git a/.gitignore b/.gitignore index 337754f..703e7dc 100644 --- a/.gitignore +++ b/.gitignore @@ -17,7 +17,6 @@ /checksum /gzip /gunzip -/run_tests.log /test_* tags cscope* diff --git a/Makefile b/Makefile index d0eda8b..1735bb1 100644 --- a/Makefile +++ b/Makefile @@ -346,7 +346,7 @@ clean: .lib-cflags .prog-cflags realclean: clean - rm -f tags cscope* run_tests.log + rm -f tags cscope* FORCE: diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh index 53df547..bcbe54d 100755 --- a/scripts/run_tests.sh +++ b/scripts/run_tests.sh @@ -47,10 +47,6 @@ SANITIZE_CFLAGS="-fsanitize=undefined -fno-sanitize-recover=undefined,integer" ############################################################################### -rm -f run_tests.log -exec > >(tee -ia run_tests.log) -exec 2> >(tee -ia run_tests.log >&2) - TESTS_SKIPPED=0 log_skip() { log "[WARNING, TEST SKIPPED]: $@"