diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-18 15:18:14 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 4dded235b6de4254589719ce1870f6dd117095ea (patch) | |
| tree | a225c166756d6e0e87ca7cc8cd24bc38045427c9 /test/Makefile | |
| parent | d7e82a2d4e0f588faebfb6e44d01e685587f6872 (diff) | |
| download | klee-4dded235b6de4254589719ce1870f6dd117095ea.tar.gz | |
Rename old build system targets so that
* lit tests are run by the `systemtests` target * The `check` target runs the `systemtests` and `unittests` target This make its target names consistent with the CMake build system.
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Makefile b/test/Makefile index ed7ba197..c9924244 100644 --- a/test/Makefile +++ b/test/Makefile @@ -13,7 +13,7 @@ DIRS = # # Make llvm-lit the default for testing # -all:: check-local +all:: systemtests-local # Include other test rules include Makefile.tests @@ -55,7 +55,7 @@ check-local:: lit.site.cfg exit 1; \ fi -check-local-all:: lit.site.cfg +systemtests-local:: lit.site.cfg $(Verb) ( $(ULIMIT) \ $(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_ALL_TESTSUITES) ) |