Merge remote-tracking branch 'origin/master'

2018-01-22 21:41:06 -05:00
parent a85357d5c6 e8d591275b
commit d239e8b669
1 changed files with 2 additions and 2 deletions
@@ -28,9 +28,9 @@ git commit -m "Added a new bleeding edge build"

 OLD_TRAVIS_BUILD_NUMBER=`expr $TRAVIS_BUILD_NUMBER - 7`
 OLD_DESKFILE=$OLD_TRAVIS_BUILD_BUMBER"-desktop-bleeding-edge.jar"
-OLD_FILE1="Bleeding-Edge-Build-$OLD_TRAVIS_BUILD_NUMBER.md"
+OLD_FILE1="Bleeding-Edge-Build-"$OLD_TRAVIS_BUILD_NUMBER".md"

-if [ -e "$OLD_FILE1" ]; then
+if [ -e $OLD_FILE1 ]; then
    rm -f $OLD_FILE1
    rm -f $OLD_DESKFILE
    git add $OLD_FILE1