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

0 commit comments

Comments
 (0)