diff options
author | Shawn O. Pearce <spearce@spearce.org> | 2007-02-12 16:12:04 -0500 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2007-02-12 16:12:04 -0500 |
commit | 7e81d4eead48c189d52406379150b09fd4096987 (patch) | |
tree | 6f566b70c7960b39513f8ec159847d642bf8cc54 /GIT-VERSION-GEN | |
parent | 663e7cf81d970d8320147d4d58dce37aaebfb09b (diff) | |
download | git-7e81d4eead48c189d52406379150b09fd4096987.tar.gz |
git-gui: Rename GIT_VERSION to GITGUI_VERSION.
Now that the decision has been made to treat git-gui as a
subproject, rather than merging it directly into git, we
should use a different substitution for our version value
to avoid any possible confusion.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'GIT-VERSION-GEN')
-rwxr-xr-x | GIT-VERSION-GEN | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN index 79f1c527ff..79558f39cf 100755 --- a/GIT-VERSION-GEN +++ b/GIT-VERSION-GEN @@ -34,13 +34,13 @@ esac if test -r $GVF then - VC=$(sed -e 's/^GIT_VERSION = //' <$GVF) + VC=$(sed -e 's/^GITGUI_VERSION = //' <$GVF) else VC=unset fi test "$VN" = "$VC" || { - echo >&2 "GIT_VERSION = $VN" - echo "GIT_VERSION = $VN" >$GVF + echo >&2 "GITGUI_VERSION = $VN" + echo "GITGUI_VERSION = $VN" >$GVF } |