Skip to content

Commit

Permalink
[make release]: exchange the order of the checks.
Browse files Browse the repository at this point in the history
First test if this is the master branch and everything is clean;
then compile.
  • Loading branch information
fpottier committed Sep 6, 2024
1 parent 584c847 commit 0efa7a5
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,6 @@ uninstall:
# + run [make release VERSION=X.Y.Z]

release:
# Make sure the current version can be compiled.
@ make clean
@ make test
# Check if this is the master branch.
@ if [ "$$(git symbolic-ref --short HEAD)" != "master" ] ; then \
echo "Error: this is not the master branch." ; \
Expand All @@ -40,6 +37,9 @@ release:
git status ; \
exit 1 ; \
fi
# Make sure the current version can be compiled.
@ make clean
@ make test
# Check the current package description.
@ opam lint
# Make sure $(VERSION) is nonempty.
Expand Down

0 comments on commit 0efa7a5

Please sign in to comment.