Remove "show" target from regression/*/Makefile

This may have been useful to someone in the past, but a semi-interactive (starting a new vim in a loop for each directory) approach with several hundred files is no longer meaningful.
diffblue · Mar 22, 2021 · 3a5ddc7 · 3a5ddc7
1 parent c923c3d
commit 3a5ddc7
Show file tree

Hide file tree

Showing 50 changed files with 0 additions and 350 deletions.
diff --git a/regression/acceleration/Makefile b/regression/acceleration/Makefile
@@ -20,13 +20,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../accelerate.sh $(GOTO_CC_EXE) $(GOTO_INSTRUMENT_EXE) $(CBMC_EXE) $(is_windows)"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	$(RM) tests.log
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/ansi-c/Makefile b/regression/ansi-c/Makefile
@@ -35,13 +35,6 @@ ifneq ($(BUILD_ENV_),MSVC)
 	@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
 endif
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/array-refinement-with-incr/Makefile b/regression/array-refinement-with-incr/Makefile
@@ -8,13 +8,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c $(TOOL)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/array-refinement/Makefile b/regression/array-refinement/Makefile
@@ -8,13 +8,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c $(TOOL)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/cbmc-concurrency/Makefile b/regression/cbmc-concurrency/Makefile
@@ -15,13 +15,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(no_pthread)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/cbmc-cover/Makefile b/regression/cbmc-cover/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/cbmc-cpp/Makefile b/regression/cbmc-cpp/Makefile
@@ -23,13 +23,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(excluded_tests)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/cbmc-incr-oneloop/Makefile b/regression/cbmc-incr-oneloop/Makefile
@@ -7,13 +7,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 8 ../../../src/cbmc/cbmc --slice-formula"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@(for dir in *; do $(RM) $$dir/*.out; done;)
diff --git a/regression/cbmc-incr/Makefile b/regression/cbmc-incr/Makefile
@@ -9,13 +9,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 30 ../../../src/cbmc/cbmc $(PARAM)"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@(for dir in *; do $(RM) $$dir/*.out; done;)
diff --git a/regression/cbmc-library/Makefile b/regression/cbmc-library/Makefile
@@ -13,13 +13,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc $(no_pthread)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/cbmc-primitives/Makefile b/regression/cbmc-primitives/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/cbmc-sequentialization/Makefile b/regression/cbmc-sequentialization/Makefile
@@ -14,13 +14,6 @@ test:
 
 tests.log: ../test.pl test
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.smt2' -execdir $(RM) '{}' \;

diff --git a/regression/cbmc-with-incr/Makefile b/regression/cbmc-with-incr/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "../../../src/cbmc/cbmc --incremental"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@for dir in *; do $(RM) $$dir/*.out; done;
diff --git a/regression/cbmc/Makefile b/regression/cbmc/Makefile
@@ -20,13 +20,6 @@ test-paths-lifo:
 
 tests.log: ../test.pl test
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.smt2' -execdir $(RM) '{}' \;

diff --git a/regression/contracts/Makefile b/regression/contracts/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \

diff --git a/regression/cpp-linter/Makefile b/regression/cpp-linter/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -p -c ../../../scripts/cpplint.py
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/cpp/Makefile b/regression/cpp/Makefile
@@ -28,13 +28,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c $(exe) $(excluded_tests)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/extract_type_header/Makefile b/regression/extract_type_header/Makefile
@@ -17,13 +17,6 @@ test:
 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)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \

diff --git a/regression/fault-localization/Makefile b/regression/fault-localization/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -p -c ../../../src/cbmc/cbmc
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-analyzer-simplify/Makefile b/regression/goto-analyzer-simplify/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh ../../../src/goto-analyzer/goto-analyzer"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.java" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-analyzer-taint/Makefile b/regression/goto-analyzer-taint/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-analyzer/Makefile b/regression/goto-analyzer/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.java" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-cc-cbmc-shared-options/Makefile b/regression/goto-cc-cbmc-shared-options/Makefile
@@ -19,13 +19,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)' $(exclude_broken_windows_tests)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \

diff --git a/regression/goto-cc-cbmc/Makefile b/regression/goto-cc-cbmc/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \

diff --git a/regression/goto-cc-file-local/Makefile b/regression/goto-cc-file-local/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \

diff --git a/regression/goto-cc-goto-analyzer/Makefile b/regression/goto-cc-goto-analyzer/Makefile
@@ -18,13 +18,6 @@ tests.log:
 	pwd
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-analyzer/goto-analyzer $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-cc-multi-file/Makefile b/regression/goto-cc-multi-file/Makefile
@@ -18,13 +18,6 @@ tests.log:
 	pwd
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

diff --git a/regression/goto-cc-regression-gh-issue-5380/Makefile b/regression/goto-cc-regression-gh-issue-5380/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) $(is_windows)'
 
-show:
-	@for dir in *; do
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;