#1109. Correction to r4142.

2015-12-24 14:07:13 +00:00
parent 7da0d9d2bb
commit 17949ddf16
1 changed files with 1 additions and 1 deletions
@@ -204,7 +204,7 @@ if [ $result == "0" ]; then
        echo '***' jenkins builds directory does not exist ${jpubl} '***'
        result=2
    fi
-if
+fi

 exit $result
 # That's all Folks!