From: Mehdi Dogguy <mehdi@debian.org>
Date: Sun, 10 Jan 2010 21:34:05 +0100
Subject: [PATCH] Do not run tests on non-existant files
---
Makefile.in | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/Makefile.in b/Makefile.in
index c058478..587e8cd 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -735,7 +735,7 @@ bench-tc:: $(BINARY) $(WHYVO)
cd bench; sh ./bench "../$(BINARY) -tc"
test:: $(BINARY) $(WHYVO)
- $(BINARY) -d -V -coq bench/test.ml
+ [ ! -f bench/test.ml ] || $(BINARY) -d -V -coq bench/test.ml
.PHONY: examples examples-c
--