diff --git a/mkdist.sh b/mkdist.sh index 373e4ff0e..f2b14532a 100644 --- a/mkdist.sh +++ b/mkdist.sh @@ -1,9 +1,13 @@ NJOBS=4 -darcs pull fftw@fftw.org:darcs/fftw3 +tag=`git tag --contains HEAD` +if [ -z "$tag" ]; then + echo "Current git HEAD is not tagged---refusing to build distribution" + exit 1 +fi # hackery to build ChangeLog -darcs changes --summary > ChangeLog +git log --pretty=medium --date-order > ChangeLog sh bootstrap.sh