From cb9ff5ff994fbbcd8eb949fabcb8b8765709b356 Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Fri, 26 Feb 2021 12:21:07 +0900 Subject: [PATCH] tools/version.h: If the version is not available, use 0.0.0 It's useful when you only have shallow git history handy. (eg. to save some network bandwidth) The default value here was chosen to mirror the default of tools/Makefile.win. --- tools/version.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/tools/version.sh b/tools/version.sh index f695efd97e..8c47bd85c4 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -84,10 +84,8 @@ fi # Make sure we know what is going on if [ -z ${VERSION} ] ; then - echo "Missing versioning information" - echo $USAGE - echo $ADVICE - exit 1 + echo "Missing versioning information. Using the dummy value. (0.0.0)" + VERSION="0.0.0" fi if [ -z ${OUTFILE} ] ; then