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