diff options
author | Daniel <DanTheMan827> | 2017-10-17 18:40:42 +0300 |
---|---|---|
committer | Daniel <DanTheMan827> | 2017-10-17 18:40:42 +0300 |
commit | be0d7035ee248144600f180c5c9182b634ca1ce5 (patch) | |
tree | 5065ef534be819d17e6db6d6faffa46efff0b063 /hakchi_gui.csproj | |
parent | f14691a591ecd88b0287b2be1a3c66bda32c1121 (diff) |
Small fix
Diffstat (limited to 'hakchi_gui.csproj')
-rw-r--r-- | hakchi_gui.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hakchi_gui.csproj b/hakchi_gui.csproj index 84dda3b4..b0df77b3 100644 --- a/hakchi_gui.csproj +++ b/hakchi_gui.csproj @@ -2697,6 +2697,7 @@ git --version && ( for /f %25%25i in ('git rev-parse --short HEAD') do (
git diff-index --quiet HEAD -- && (
echo|set /p="%25%25i" >> "$(ProjectDir)commit.txt"
+ SET ERRORLEVEL=0
) || (
echo|set /p="%25%25i (dirty)" >> "$(ProjectDir)commit.txt"
)
|