pyre: substituting %VERSION% in Makefile no longer required

This commit is contained in:
Jörg Thalheim 2018-09-09 14:44:54 +01:00
parent b989e6f623
commit c4d8d4b4d6

View file

@ -49,7 +49,7 @@ let
export HOME=.
# "external" because https://github.com/facebook/pyre-check/pull/8/files
sed "s/%VERSION%/external ${pyre-version}/" Makefile.template > Makefile
cp Makefile.template Makefile
sed "s/%VERSION%/external/" dune.in > dune
cp ${versionFile} ./scripts/generate-version-number.sh