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 | |
parent | f14691a591ecd88b0287b2be1a3c66bda32c1121 (diff) |
Small fix
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | commit.txt | 0 | ||||
-rw-r--r-- | hakchi_gui.csproj | 1 |
3 files changed, 3 insertions, 2 deletions
@@ -1,8 +1,8 @@ -commit.txt
/bin/
driver/source/nesmini_driver/Release/
driver/usb_driver/
obj/
*.csproj.user
*.pfx
-Properties/Resources*.cs
\ No newline at end of file +Properties/Resources*.cs
+commit.txt
diff --git a/commit.txt b/commit.txt deleted file mode 100644 index e69de29b..00000000 --- a/commit.txt +++ /dev/null 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"
)
|