fix Makefile: if qtest not installed, should still be able to build

This commit is contained in:
Simon Cruanes 2014-11-12 11:02:22 +01:00
parent 4ced583f33
commit 07f608009a

View file

@ -82,9 +82,12 @@ QTEST_PREAMBLE='open CCFun;; '
qtest-gen: qtest-clean
@mkdir -p qtest
@qtest extract --preamble $(QTEST_PREAMBLE) \
-o qtest/run_qtest.cppo.ml \
$(QTESTABLE) 2> /dev/null
@if which qtest ; then \
qtest extract --preamble $(QTEST_PREAMBLE) \
-o qtest/run_qtest.cppo.ml \
$(QTESTABLE) 2> /dev/null ; \
else touch qtest/run_qtest.cppo.ml ; \
fi
push-stable:
git checkout stable