diff options
| author | Bruce Korb <bkorb@gnu.org> | 2011-01-04 09:33:27 -0800 |
|---|---|---|
| committer | Bruce Korb <bkorb@gnu.org> | 2011-01-04 09:33:27 -0800 |
| commit | 67c47b3ef9ac9e8929fc77189c6c8234f8662720 (patch) | |
| tree | 3d898776d4e49315e5e9f714a864391b4aabe75e /build-aux/git-version-gen | |
| parent | 4f2c339efdaf1fcca9eed7b0700083b5e24942d4 (diff) | |
| download | gnulib-67c47b3ef9ac9e8929fc77189c6c8234f8662720.tar.gz | |
avoid an unnecessary sub-shell
Diffstat (limited to 'build-aux/git-version-gen')
| -rwxr-xr-x | build-aux/git-version-gen | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/git-version-gen b/build-aux/git-version-gen index 694ba46970..68c7d6440c 100755 --- a/build-aux/git-version-gen +++ b/build-aux/git-version-gen @@ -1,6 +1,6 @@ #!/bin/sh # Print a version string. -scriptversion=2011-01-03.20; # UTC +scriptversion=2011-01-04.17; # UTC # Copyright (C) 2007-2011 Free Software Foundation, Inc. # @@ -143,7 +143,7 @@ v=`echo "$v" |sed 's/^v//'` # Don't declare a version "dirty" merely because a time stamp has changed. git update-index --refresh > /dev/null 2>&1 -dirty=`(git diff-index --name-only HEAD) 2>/dev/null` || dirty= +dirty=`exec 2>/dev/null;git diff-index --name-only HEAD` || dirty= case "$dirty" in '') ;; *) # Append the suffix only if there isn't one already. |