From c1fc5c53c655a139419cf36d845f9fdd6f6201a3 Mon Sep 17 00:00:00 2001
From: Andreas Lauser <and@poware.org>
Date: Fri, 22 Nov 2013 18:39:49 +0100
Subject: [PATCH] fix syntax error in configure shell script

strangly enough, it seems to work like it was in some circumstances...
---
 cmake/Scripts/configure | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/cmake/Scripts/configure b/cmake/Scripts/configure
index 8aaadf93..25b430a3 100755
--- a/cmake/Scripts/configure
+++ b/cmake/Scripts/configure
@@ -171,8 +171,7 @@ for OPT in "$@"; do
       OPTARG=${OPT#--}
       # OPTARG now contains everything after double dashes
       case "${OPTARG}" in
-        config-cache)
-        cache-file=*)
+        config-cache|cache-file=*)
           # prevent the previous CMake cache from being deleted. The
           # second option is only here for Dune/autotools compatibility
           config_cache="1"