Skip to content

Commit

Permalink
Merge pull request #8369 from tautschnig/fix-cleanup
Browse files Browse the repository at this point in the history 
Regression cleanup: don't repeatedly remove the same file
  • Loading branch information
@kroening
kroening committed Jul 10, 2024
2 parents 40572a1 + 1918cde commit b3f1e71
Show file tree
Hide file tree
Showing 14 changed files with 14 additions and 14 deletions.
2 changes: 1 addition & 1 deletion regression/cbmc-output-file/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ tests.log:
@../test.pl -f -e -p -c '../chain.py ../../../src/cbmc/cbmc'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/contracts/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,8 @@ tests.log: ../test.pl test


clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb *.smt2; \
Expand Down
2 changes: 1 addition & 1 deletion regression/crangler/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ tests.log:
endif

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/extract_type_header/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc ./../../../scripts/extract_type_header.py $(is_windows)'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-cc-cbmc/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-cc-file-local/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-instrument-chc/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-instrument-json/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/symtab2gb/symtab2gb ../../../src/goto-instrument/goto-instrument'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-instrument/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-interpreter/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument $(is_windows)'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/goto-synthesizer/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,8 @@ tests.log: ../test.pl test


clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb *.smt2; \
Expand Down
2 changes: 1 addition & 1 deletion regression/symtab2gb-cbmc/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/symtab2gb/symtab2gb ../../../src/cbmc/cbmc'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/symtab2gb/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ tests.log:
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/symtab2gb/symtab2gb ../../../src/cbmc/cbmc'

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down
2 changes: 1 addition & 1 deletion regression/test-script/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ tests.log:
@../test.pl -e -p -c ../program_runner.sh -K

clean:
$(RM) tests.log
@for dir in *; do \
$(RM) tests.log; \
if [ -d "$$dir" ]; then \
cd "$$dir"; \
$(RM) *.out *.gb; \
Expand Down

0 comments on commit b3f1e71

Please sign in to comment.