Skip to content

Commit

Permalink
Allow building Wattsi when there is no .git directory
Browse files Browse the repository at this point in the history
This is helpful for Docker where we don't want to keep the .git directory around.
  • Loading branch information
domenic committed Aug 17, 2017
1 parent de9bac8 commit 6018606
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ PATHS="-Fu${SRC}html -Fi${SRC}html -Fi${SRC}html/entities.inc"
DEFINES="-dUSEROPES -dLINES -dPARSEERROR"

echo "Writing $VERSION_FILE"
git rev-list --count HEAD > "$VERSION_FILE"
(git rev-list --count HEAD || echo unknown) > "$VERSION_FILE"
. ${SRC}lib/compile.sh
echo "Removing $VERSION_FILE"
rm "$VERSION_FILE"

0 comments on commit 6018606

Please sign in to comment.