Browse Source

fix version.hpp creation, again

pull/475/head
Antonio SJ Musumeci 7 years ago
parent
commit
73e8867400
  1. 6
      tools/update-version

6
tools/update-version

@ -7,7 +7,11 @@ fi
VERSION=$(git describe --always --tags --dirty) VERSION=$(git describe --always --tags --dirty)
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
exit 0
VERSION=$(cat VERSION)
fi
if [ "${VERSION}" = "" ]; then
VERSION="unknown"
fi fi
echo -n "${VERSION}" > VERSION echo -n "${VERSION}" > VERSION

Loading…
Cancel
Save