diff --git a/Makefile b/Makefile index 89e68738..baeea3fc 100644 --- a/Makefile +++ b/Makefile @@ -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