pull: use git-rev-parse --parseopt for option parsing

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 0c1ee67b406523322d7d3ca6ebbcb7c53133d177..bfb715d3c896bea3f6eba7da43fabe4370530efa 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v2.3.7
+DEF_VER=v2.4.0.GIT
 
 LF='
 '