diff options
Diffstat (limited to 'contrib/git/rev_id.cmd')
-rwxr-xr-x | contrib/git/rev_id.cmd | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/contrib/git/rev_id.cmd b/contrib/git/rev_id.cmd deleted file mode 100755 index 745e85ae59d..00000000000 --- a/contrib/git/rev_id.cmd +++ /dev/null @@ -1,29 +0,0 @@ -@echo off &setlocal EnableDelayedExpansion -set usage=Usage: %0 ^<-id ^| -hash^> -set errormsg=Error: No valid revision information found - -set cmres=false -if "%1"=="-id" set cmres=true -if "%1"=="-hash" set cmres=true -if not "!cmres!"=="true" ( - echo !usage! - exit /B 1 -) - -for /F "tokens=2,3 delims=-" %%a IN ('"git describe --match=init --abbrev=12"') do ( - set res=false - if %%c=="" set res=true - if %%d=="" set res=true - if "!res!"=="true" ( - echo !errormsg! - exit /B 1 - ) - - if "%1"=="-id" ( - echo %%a - ) else if "%1"=="-hash" ( - set str=%%b - set str=!str:~1! - echo !str! - ) -) |