diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh index 9ddd62669d..5094c583b3 100755 --- a/src/misc/writeBuildNum.sh +++ b/src/misc/writeBuildNum.sh @@ -96,12 +96,12 @@ cat >$1 <