Skip to content

Commit

Permalink
mkdist.sh: use git instead of darcs
Browse files Browse the repository at this point in the history
Use git instead of darcs to generate the ChangeLog.  Also, refuse to
create a distribution if git HEAD does not have a tag, to prevent a
common mistake.
  • Loading branch information
matteo-frigo committed Mar 16, 2013
1 parent fe84f5d commit 4b1d3b6
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions mkdist.sh
Original file line number Diff line number Diff line change
@@ -1,9 +1,13 @@
NJOBS=4

darcs pull [email protected]: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

Expand Down

0 comments on commit 4b1d3b6

Please sign in to comment.