diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 12:29:48 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 01ba72697bc5476bfe486725c302bb2e0867076e (patch) | |
| tree | b3ee2a8faca19ea702a4a122e534628b7c8ff5ce | |
| parent | 4dded235b6de4254589719ce1870f6dd117095ea (diff) | |
| download | klee-01ba72697bc5476bfe486725c302bb2e0867076e.tar.gz | |
Remove undocumented and unused `check-local`, `check-dg` and `check-lit`
targets from Autoconf/Makefile build system. Having these around
just confuses things.
| -rw-r--r-- | Makefile.rules | 26 | ||||
| -rw-r--r-- | test/Makefile | 10 |
2 files changed, 0 insertions, 36 deletions
diff --git a/Makefile.rules b/Makefile.rules index cdc61bf8..d74b1c42 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1877,32 +1877,6 @@ systemtests:: $(EchoCmd) No test directory ; \ fi -check-lit:: check - -check-dg:: - $(Verb) if test -d "$(PROJ_OBJ_ROOT)/test" ; then \ - if test -f "$(PROJ_OBJ_ROOT)/test/Makefile" ; then \ - $(EchoCmd) Running test suite ; \ - $(MAKE) -C $(PROJ_OBJ_ROOT)/test check-local-dg ; \ - else \ - $(EchoCmd) No Makefile in test directory ; \ - fi ; \ - else \ - $(EchoCmd) No test directory ; \ - fi - -check-all:: - $(Verb) if test -d "$(PROJ_OBJ_ROOT)/test" ; then \ - if test -f "$(PROJ_OBJ_ROOT)/test/Makefile" ; then \ - $(EchoCmd) Running test suite ; \ - $(MAKE) -C $(PROJ_OBJ_ROOT)/test check-local-all ; \ - else \ - $(EchoCmd) No Makefile in test directory ; \ - fi ; \ - else \ - $(EchoCmd) No test directory ; \ - fi - ############################################################################### # UNITTESTS: Running the unittests test suite ############################################################################### diff --git a/test/Makefile b/test/Makefile index c9924244..c96ae889 100644 --- a/test/Makefile +++ b/test/Makefile @@ -45,16 +45,6 @@ endif # Potential support in the future for multiple test suites LIT_ALL_TESTSUITES := $(LIT_TESTSUITE) -check-local:: lit.site.cfg - $(Verb) $(MAKE) -s clean - $(Verb) ( $(ULIMIT) \ - $(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) - $(Verb) klee_last_path=$$(find . -name klee-last | head -1); \ - if [ ! -z "$$klee_last_path" ]; then \ - echo "error: one of the tests failed to use --output-dir, found: $$klee_last_path"; \ - exit 1; \ - fi - systemtests-local:: lit.site.cfg $(Verb) ( $(ULIMIT) \ $(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_ALL_TESTSUITES) ) |