summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Clerc <xavier.clerc@inria.fr>2010-06-18 09:41:15 +0000
committerXavier Clerc <xavier.clerc@inria.fr>2010-06-18 09:41:15 +0000
commit8c927af1424e409d04ff164cd1fb10d414402c51 (patch)
tree70afee4b2c5c22a737b84bce616e1c70aee0022b
parent49f84679d2c5816cf557f28e5878c2a355b94eb6 (diff)
Missing dependency.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--testsuite/Makefile4
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 \