]> gitweb.factorcode.org Git - factor.git/commitdiff
factor.cmd: Save entire gid id.
authorDoug Coleman <doug.coleman@gmail.com>
Tue, 4 Aug 2015 23:26:53 +0000 (16:26 -0700)
committerDoug Coleman <doug.coleman@gmail.com>
Tue, 4 Aug 2015 23:26:53 +0000 (16:26 -0700)
build-support/factor.cmd

index 34787502b96d9339d178eede18d6bc2d58b43905..c33bc4a430387f7e6a5cb521777c624f141a77ba 100644 (file)
@@ -27,9 +27,11 @@ if not errorlevel 1 (
     ) else goto nocl\r
 )\r
 \r
-git describe --all --long > git_label.tmp\r
-set /p git_label= < git_label.tmp\r
+: Fun syntax\r
+for /f %%x in ('git describe --all') do set GIT_DESCRIBE=%%x\r
+for /f %%y in ('git rev-parse HEAD') do call set GIT_ID=%%y\r
 \r
+set git_label=%GIT_DESCRIBE%-%GIT_ID%\r
 set version=0.98\r
 \r
 if %_bootimage_version%==clean (\r