|
@@ -29,7 +29,7 @@ done
|
|
rev=`sh showrev.sh 2>/dev/null`
|
|
rev=`sh showrev.sh 2>/dev/null`
|
|
if [ "$rev" != "" ]; then
|
|
if [ "$rev" != "" ]; then
|
|
if [ -n "$dist" ]; then
|
|
if [ -n "$dist" ]; then
|
|
- echo "$rev" > "$outdir/VERSION"
|
|
|
|
|
|
+ echo "$rev" > "$outdir/VERSION.txt"
|
|
fi
|
|
fi
|
|
echo "/* Generated by updaterev.sh, do not edit */" >"$header.new"
|
|
echo "/* Generated by updaterev.sh, do not edit */" >"$header.new"
|
|
if [ -n "$vendor" ]; then
|
|
if [ -n "$vendor" ]; then
|