Remove unused shell script

This commit is contained in:
YoshiRulz 2019-05-18 14:05:41 +10:00
parent 6d5f51b5ba
commit 77a6e9c3ac
No known key found for this signature in database
GPG Key ID: C4DE31C245353FB7
1 changed files with 0 additions and 12 deletions

View File

@ -1,12 +0,0 @@
#!/bin/sh
cd "`dirname "$0"`"
if test -d .git ; then
REV="`git svn info | grep Revision: | cut -d' ' -f2`"
else
REV="`svn info | grep Revision: | cut -d' ' -f2`"
fi
sed -e 's/\$WCREV\$/'$REV'/g' "$1/Properties/svnrev_template" > "$1/Properties/svnrev.cs.tmp"
cmp -s "$1/Properties/svnrev.cs.tmp" "$1/Properties/svnrev.cs" || cp "$1/Properties/svnrev.cs.tmp" "$1/Properties/svnrev.cs"