Skip to content

Commit efc313d

Browse files
tautschnigtautschnig
authored
Merge pull request #5957 from tautschnig/no-show
Remove "show" target from regression/*/Makefile
2 parents 6b36ce6 + 3a5ddc7 commit efc313d

File tree

50 files changed

+0
-350
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+0
-350
lines changed

‎regression/acceleration/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -20,13 +20,6 @@ test:
2020
tests.log: ../test.pl
2121
@../test.pl -e -p -c "../accelerate.sh $(GOTO_CC_EXE) $(GOTO_INSTRUMENT_EXE) $(CBMC_EXE) $(is_windows)"
2222

23-
show:
24-
@for dir in *; do \
25-
if [ -d "$$dir" ]; then \
26-
vim -o "$$dir/*.c" "$$dir/*.out"; \
27-
fi; \
28-
done;
29-
3023
clean:
3124
$(RM) tests.log
3225
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/ansi-c/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -35,13 +35,6 @@ ifneq ($(BUILD_ENV_),MSVC)
3535
@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
3636
endif
3737

38-
show:
39-
@for dir in *; do \
40-
if [ -d "$$dir" ]; then \
41-
vim -o "$$dir/*.c" "$$dir/*.out"; \
42-
fi; \
43-
done;
44-
4538
clean:
4639
find . -name '*.out' -execdir $(RM) '{}' \;
4740
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/array-refinement-with-incr/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -8,13 +8,6 @@ test:
88
tests.log: ../test.pl
99
@../test.pl -c $(TOOL)
1010

11-
show:
12-
@for dir in *; do \
13-
if [ -d "$$dir" ]; then \
14-
vim -o "$$dir/*.c" "$$dir/*.out"; \
15-
fi; \
16-
done;
17-
1811
clean:
1912
find . -name '*.out' -execdir $(RM) '{}' \;
2013
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/array-refinement/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -8,13 +8,6 @@ test:
88
tests.log: ../test.pl
99
@../test.pl -c $(TOOL)
1010

11-
show:
12-
@for dir in *; do \
13-
if [ -d "$$dir" ]; then \
14-
vim -o "$$dir/*.c" "$$dir/*.out"; \
15-
fi; \
16-
done;
17-
1811
clean:
1912
find . -name '*.out' -execdir $(RM) '{}' \;
2013
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/cbmc-concurrency/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -15,13 +15,6 @@ test:
1515
tests.log: ../test.pl
1616
@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(no_pthread)
1717

18-
show:
19-
@for dir in *; do \
20-
if [ -d "$$dir" ]; then \
21-
vim -o "$$dir/*.c" "$$dir/*.out"; \
22-
fi; \
23-
done;
24-
2518
clean:
2619
find . -name '*.out' -execdir $(RM) '{}' \;
2720
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/cbmc-cover/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -e -p -c ../../../src/cbmc/cbmc
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/cbmc-cpp/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -23,13 +23,6 @@ test:
2323
tests.log: ../test.pl
2424
@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(excluded_tests)
2525

26-
show:
27-
@for dir in *; do \
28-
if [ -d "$$dir" ]; then \
29-
vim -o "$$dir/*.c" "$$dir/*.out"; \
30-
fi; \
31-
done;
32-
3326
clean:
3427
find . -name '*.out' -execdir $(RM) '{}' \;
3528
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/cbmc-incr-oneloop/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,6 @@ test:
77
tests.log: ../test.pl
88
@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 8 ../../../src/cbmc/cbmc --slice-formula"
99

10-
show:
11-
@for dir in *; do \
12-
if [ -d "$$dir" ]; then \
13-
vim -o "$$dir/*.c" "$$dir/*.out"; \
14-
fi; \
15-
done;
16-
1710
clean:
1811
@$(RM) *.log
1912
@(for dir in *; do $(RM) $$dir/*.out; done;)

‎regression/cbmc-incr/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -9,13 +9,6 @@ test:
99
tests.log: ../test.pl
1010
@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 30 ../../../src/cbmc/cbmc $(PARAM)"
1111

12-
show:
13-
@for dir in *; do \
14-
if [ -d "$$dir" ]; then \
15-
vim -o "$$dir/*.c" "$$dir/*.out"; \
16-
fi; \
17-
done;
18-
1912
clean:
2013
@$(RM) *.log
2114
@(for dir in *; do $(RM) $$dir/*.out; done;)

‎regression/cbmc-library/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,6 @@ test:
1313
tests.log: ../test.pl
1414
@../test.pl -e -p -c ../../../src/cbmc/cbmc $(no_pthread)
1515

16-
show:
17-
@for dir in *; do \
18-
if [ -d "$$dir" ]; then \
19-
vim -o "$$dir/*.c" "$$dir/*.out"; \
20-
fi; \
21-
done;
22-
2316
clean:
2417
find . -name '*.out' -execdir $(RM) '{}' \;
2518
$(RM) tests.log

‎regression/cbmc-primitives/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -e -p -c ../../../src/cbmc/cbmc
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
$(RM) tests.log

‎regression/cbmc-sequentialization/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -14,13 +14,6 @@ test:
1414

1515
tests.log: ../test.pl test
1616

17-
show:
18-
@for dir in *; do \
19-
if [ -d "$$dir" ]; then \
20-
vim -o "$$dir/*.c" "$$dir/*.out"; \
21-
fi; \
22-
done;
23-
2417
clean:
2518
find . -name '*.out' -execdir $(RM) '{}' \;
2619
find . -name '*.smt2' -execdir $(RM) '{}' \;

‎regression/cbmc-with-incr/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -c "../../../src/cbmc/cbmc --incremental"
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
@$(RM) *.log
1811
@for dir in *; do $(RM) $$dir/*.out; done;

‎regression/cbmc/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -20,13 +20,6 @@ test-paths-lifo:
2020

2121
tests.log: ../test.pl test
2222

23-
show:
24-
@for dir in *; do \
25-
if [ -d "$$dir" ]; then \
26-
vim -o "$$dir/*.c" "$$dir/*.out"; \
27-
fi; \
28-
done;
29-
3023
clean:
3124
find . -name '*.out' -execdir $(RM) '{}' \;
3225
find . -name '*.smt2' -execdir $(RM) '{}' \;

‎regression/contracts/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,6 @@ test:
1717
tests.log:
1818
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
1919

20-
show:
21-
@for dir in *; do \
22-
if [ -d "$$dir" ]; then \
23-
vim -o "$$dir/*.c" "$$dir/*.out"; \
24-
fi; \
25-
done;
26-
2720
clean:
2821
@for dir in *; do \
2922
$(RM) tests.log; \

‎regression/cpp-linter/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -p -c ../../../scripts/cpplint.py
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/cpp/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -28,13 +28,6 @@ test:
2828
tests.log: ../test.pl
2929
@../test.pl -e -p -c $(exe) $(excluded_tests)
3030

31-
show:
32-
@for dir in *; do \
33-
if [ -d "$$dir" ]; then \
34-
vim -o "$$dir/*.c" "$$dir/*.out"; \
35-
fi; \
36-
done;
37-
3831
clean:
3932
find . -name '*.out' -execdir $(RM) '{}' \;
4033
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/extract_type_header/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,6 @@ test:
1717
tests.log:
1818
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc ./../../../scripts/extract_type_header.py $(is_windows)'
1919

20-
show:
21-
@for dir in *; do \
22-
if [ -d "$$dir" ]; then \
23-
vim -o "$$dir/*.c" "$$dir/*.out"; \
24-
fi; \
25-
done;
26-
2720
clean:
2821
@for dir in *; do \
2922
$(RM) tests.log; \

‎regression/fault-localization/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -p -c ../../../src/cbmc/cbmc
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-analyzer-simplify/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -e -p -c "../chain.sh ../../../src/goto-analyzer/goto-analyzer"
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.java" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-analyzer-taint/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.c" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-analyzer/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,6 @@ test:
66
tests.log: ../test.pl
77
@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
88

9-
show:
10-
@for dir in *; do \
11-
if [ -d "$$dir" ]; then \
12-
vim -o "$$dir/*.java" "$$dir/*.out"; \
13-
fi; \
14-
done;
15-
169
clean:
1710
find . -name '*.out' -execdir $(RM) '{}' \;
1811
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-cc-cbmc-shared-options/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -19,13 +19,6 @@ test:
1919
tests.log:
2020
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)' $(exclude_broken_windows_tests)
2121

22-
show:
23-
@for dir in *; do \
24-
if [ -d "$$dir" ]; then \
25-
vim -o "$$dir/*.c" "$$dir/*.out"; \
26-
fi; \
27-
done;
28-
2922
clean:
3023
@for dir in *; do \
3124
$(RM) tests.log; \

‎regression/goto-cc-cbmc/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,6 @@ test:
1717
tests.log:
1818
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
1919

20-
show:
21-
@for dir in *; do \
22-
if [ -d "$$dir" ]; then \
23-
vim -o "$$dir/*.c" "$$dir/*.out"; \
24-
fi; \
25-
done;
26-
2720
clean:
2821
@for dir in *; do \
2922
$(RM) tests.log; \

‎regression/goto-cc-file-local/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,6 @@ test:
1717
tests.log:
1818
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
1919

20-
show:
21-
@for dir in *; do \
22-
if [ -d "$$dir" ]; then \
23-
vim -o "$$dir/*.c" "$$dir/*.out"; \
24-
fi; \
25-
done;
26-
2720
clean:
2821
@for dir in *; do \
2922
$(RM) tests.log; \

‎regression/goto-cc-goto-analyzer/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -18,13 +18,6 @@ tests.log:
1818
pwd
1919
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-analyzer/goto-analyzer $(is_windows)'
2020

21-
show:
22-
@for dir in *; do \
23-
if [ -d "$$dir" ]; then \
24-
vim -o "$$dir/*.c" "$$dir/*.out"; \
25-
fi; \
26-
done;
27-
2821
clean:
2922
find . -name '*.out' -execdir $(RM) '{}' \;
3023
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-cc-multi-file/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -18,13 +18,6 @@ tests.log:
1818
pwd
1919
@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
2020

21-
show:
22-
@for dir in *; do \
23-
if [ -d "$$dir" ]; then \
24-
vim -o "$$dir/*.c" "$$dir/*.out"; \
25-
fi; \
26-
done;
27-
2821
clean:
2922
find . -name '*.out' -execdir $(RM) '{}' \;
3023
find . -name '*.gb' -execdir $(RM) '{}' \;

‎regression/goto-cc-regression-gh-issue-5380/Makefile

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,6 @@ test:
1717
tests.log:
1818
@../test.pl -e -p -c '../chain.sh $(exe) $(is_windows)'
1919

20-
show:
21-
@for dir in *; do
22-
if [ -d "$$dir" ]; then \
23-
vim -o "$$dir/*.c" "$$dir/*.out"; \
24-
fi; \
25-
done;
26-
2720
clean:
2821
find . -name '*.out' -execdir $(RM) '{}' \;
2922
find . -name '*.gb' -execdir $(RM) '{}' \;

0 commit comments

Comments
 (0)