diff options
author | Ben Pfaff <blp@cs.stanford.edu> | 2011-01-03 21:05:04 +0100 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2011-01-03 21:05:04 +0100 |
commit | a2e8447d6b8abe23504f4f2d4757a60a2e8bee54 (patch) | |
tree | 35921b55cec89a388722f030646e5dc3888995e6 /build-aux/git-version-gen | |
parent | 307d43494913d332a425e6d384142aed28536e53 (diff) | |
download | gnulib-a2e8447d6b8abe23504f4f2d4757a60a2e8bee54.tar.gz |
git-version-gen: use (...) rather than sh -c '...'
* build-aux/git-version-gen: Rather than hard-coding a shell's name
with "sh -c '...'", just use "(...)". Less syntax is better, too.
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 f116ba1389..694ba46970 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.19; # UTC +scriptversion=2011-01-03.20; # 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=`sh -c 'git diff-index --name-only HEAD' 2>/dev/null` || dirty= +dirty=`(git diff-index --name-only HEAD) 2>/dev/null` || dirty= case "$dirty" in '') ;; *) # Append the suffix only if there isn't one already. |