OpenCL.sh: Exit with a nonzero error code if OpenCL is not found

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/OpenCL/trunk@6 4054007a-4839-4648-a056-eb81e030d849

1 files changed, 1 insertions, 0 deletions

diff --git a/OpenCL.sh b/OpenCL.sh
index 03fb1ef..86f564b 100644
--- a/OpenCL.sh
+++ b/OpenCL.sh
@@ -24,6 +24,7 @@ if [ -z "${OPENCL_DIR}" ]; then
         echo "BEGIN ERROR"
         echo "OpenCL selected, but OPENCL_DIR not set."
         echo "END ERROR"
+        exit 1
     fi
 fi