Commit 6b8fd353 authored by POTTIER Francois's avatar POTTIER Francois

GNUmakefile: fix.

parent e651fca2
......@@ -51,11 +51,10 @@ export CDPATH=
# -------------------------------------------------------------------------
# Distribution.
# The version number is automatically set to the current date,
# unless DATE is defined on the command line.
ifndef $(DATE)
DATE := $(shell /bin/date +%Y%m%d)
endif
PACKAGE := menhir-$(DATE)
CURRENT := $(shell pwd)
......@@ -269,4 +268,3 @@ pin:
unpin:
opam pin remove menhir
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