From 17949ddf163f9c259e288c8bc0edd73ae63db99c Mon Sep 17 00:00:00 2001 From: Robin Mills Date: Thu, 24 Dec 2015 14:07:13 +0000 Subject: [PATCH] #1109. Correction to r4142. --- contrib/buildserver/cmake_daily.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/buildserver/cmake_daily.sh b/contrib/buildserver/cmake_daily.sh index 71870068..943db177 100755 --- a/contrib/buildserver/cmake_daily.sh +++ b/contrib/buildserver/cmake_daily.sh @@ -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!