Support no git situation.

Signed-off-by: NIIBE Yutaka <gniibe@fsij.org>

ChangeLog

@@ -1,11 +1,13 @@
 2017-07-19  NIIBE Yutaka  <gniibe@fsij.org>
 
+	* src/configure (REVISION): Generate even when no git.
+
 	* polarssl/library/bignum.c (mpi_exp_mod): Call mpi_grow for X
 	after the initialization of RR.
 
 2017-07-18  NIIBE Yutaka  <gniibe@fsij.org>
 
-	* src/configure: Bark when not git.
+	* src/configure: Bark when no git available.
 
 2017-07-18  Anthony Romano <anthony.romano@coreos.com>
 

src/configure

@@ -47,11 +47,13 @@ factory_reset=no
 
 # Revision number
 if test -e ../.git; then
-  if !type git >/dev/null 2>&1; then
-     echo 'No git available, please install git'
-     exit 1
+  if type git >/dev/null 2>&1; then
+     REVISION=`git describe --dirty="-modified"` 
+  else
+     # echo 'No git available, please install git'
+     GIT_REVISION=$(sed -e 's/^\(.......\).*$/g\1/' ../.git/$(sed -e 's/^ref: //' ../.git/HEAD))
+     REVISION=`cat ../VERSION`-$GIT_REVISION
   fi
-  REVISION=`git describe --dirty="-modified"` 
 else
   REVISION=`cat ../VERSION`
 fi