From 3f7ecfc0011c2bddd47cf936534de6e9685a0631 Mon Sep 17 00:00:00 2001
From: Christoph Niethammer <niethammer@hlrs.de>
Date: Mon, 13 Feb 2012 13:44:47 +0000
Subject: [PATCH] Skip configure if configure script is not present.

---
 functions.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/functions.sh b/functions.sh
index f68f315..17463bb 100644
--- a/functions.sh
+++ b/functions.sh
@@ -59,10 +59,13 @@ sit_prepare() {
 
 
 src_configure() {
-	${SRCDIR}/configure --prefix=$PREFIX $CONFIGURE_OPTS
-    if [ ! -z $LOGDIR  -a -f config.log ] ; then
-        cp config.log $LOGDIR
-    fi
+	if [ -x ${SRCDIR}/configure ] ; then
+#sit_info "Runnning configure"
+		${SRCDIR}/configure --prefix=$PREFIX $CONFIGURE_OPTS
+		if [ ! -z $LOGDIR  -a -f config.log ] ; then
+			cp config.log $LOGDIR
+		fi
+	fi
 }
 sit_configure() {
     sit_info "Configuring sources ..."