Merge commit '6d29538346e2e083abfed266806a807e8afedd40'

1 files changed, 4 insertions, 0 deletions

diff --git a/Config b/Config
index f1cd4e317..5d712cbeb 100755
--- a/Config
+++ b/Config
@@ -81,6 +81,10 @@ Run_Build_System () {
 	echo "cmake $WITH_INST $WITH_RUN $WITH_PERM $BUILD_TYPE $EXTRA_INCLUDE $EXTRA_LIBS $EXTRA_CONFIG_ARGS $REAL_SOURCE_DIR"
 
 	cmake $WITH_INST $WITH_RUN $WITH_PERM $BUILD_TYPE $EXTRA_INCLUDE $EXTRA_LIBS $EXTRA_CONFIG_ARGS $REAL_SOURCE_DIR
+	if [ $? -ne 0 ]; then
+		echo "You should fix these issues and then run ./Config -quick to rerun CMake."
+		exit 1
+	fi
 
 	echo ""
 	if [ "$SOURCE_DIR" = "." ] ; then