Commit 7485c9f3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix in GNUmakefile: check for /opt/godi/bin/cduce.

parent 1d0b40de
...@@ -192,7 +192,7 @@ export: api ...@@ -192,7 +192,7 @@ export: api
cd $(PAGE) && \ cd $(PAGE) && \
$(SED) --in-place=.bak "s/menhir-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/$(PACKAGE)/" menhir.xml && \ $(SED) --in-place=.bak "s/menhir-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/$(PACKAGE)/" menhir.xml && \
cvs commit -m "Updated Menhir's version number." && \ cvs commit -m "Updated Menhir's version number." && \
if hash cduce ; then $(MAKE) export ; fi if [ -x /opt/godi/bin/cduce ] ; then $(MAKE) export ; fi
# ------------------------------------------------------------------------- # -------------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment