Changeset 2e4ee2b in git for git-version-gen

Timestamp:

Sep 3, 2013, 7:58:01 AM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

12f6ce0e6bfb8dc07844936aaca9a865a3593bf38243aa7b444fb1e2e7a9c62630c681e5d778193c

Parents:

20e3062f8cd8d69f35dd291d47f4283409f11663

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-09-03 07:58:01+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-09-03 07:59:31+02:00

Message:

Minor improvement to git-version-gen

File:

• git-version-gen (modified) (1 diff)

git-version-gen

@@ -3 +3 @@
 GIT_WORK_TREE=`dirname "$0"`
 ## :'%h on %ci by %an: "%s"' --abbrev-commit | sed 's/\"/\\\"/g'
-if [ -d "$GIT_WORK_TREE/.git" ] && v=`git log --pretty=format:'%h' --abbrev-commit -1 2>/dev/null`
+if [ -d "$GIT_WORK_TREE/.git" ] && v=`git log --pretty=format:'%h' --abbrev-commit -1 2>/dev/null` ;
 then
- if dirty=`sh -c "git diff-index --name-status HEAD 2>/dev/null | sed -e 's|^\([A-Z]\).*|\1|g' | tr -d '\012'"` && [ -n "$dirty" ]
+ if dirty=`sh -c "git diff-index --name-status HEAD 2>/dev/null | sed -e 's|^\([A-Z]\).*|\1|g' | tr -d '\012'"` && [ -n "$dirty" ];
  then
    echo -n "$v|$dirty"