diff options
author | Xavier Clerc <xavier.clerc@inria.fr> | 2010-06-18 09:41:15 +0000 |
---|---|---|
committer | Xavier Clerc <xavier.clerc@inria.fr> | 2010-06-18 09:41:15 +0000 |
commit | 8c927af1424e409d04ff164cd1fb10d414402c51 (patch) | |
tree | 70afee4b2c5c22a737b84bce616e1c70aee0022b | |
parent | 49f84679d2c5816cf557f28e5878c2a355b94eb6 (diff) |
Missing dependency.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | testsuite/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/Makefile b/testsuite/Makefile index 51e93b8f8..c7f24808d 100644 --- a/testsuite/Makefile +++ b/testsuite/Makefile @@ -12,13 +12,13 @@ default: @echo " clean deletes generated files" @echo " report prints the report for the last execution, if any" -all: +all: lib @for dir in tests/*; do \ $(MAKE) $(NO_PRINT) exec-one DIR=$$dir; \ done 2>&1 | tee _log @$(MAKE) report -list: +list: lib @if [ -z $(FILE) ]; then echo "No value set for variable 'FILE'."; exit 1; fi @if [ ! -f $(FILE) ]; then echo "File '$(FILE)' does not exist."; exit 1; fi @while read LINE; do \ |