From 7f32dd57c6bd41c0704341752842277dd6a4c8eb Mon Sep 17 00:00:00 2001
From: Shaden Smith <shaden@cs.umn.edu>
Date: Sat, 17 Sep 2016 11:33:57 -0500
Subject: [PATCH] Adds sanity check to configuration choice.

---
 configure | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/configure b/configure
index e0dc82c89..79d99f7ac 100755
--- a/configure
+++ b/configure
@@ -424,6 +424,14 @@ main()
 
 			echo "${script_name}: manual configuration requested."
 			config_name=$1
+
+			# Ensure configuration is valid.
+			if [ ! -d "${config_dirpath}/${config_name}" ]; then
+				echo "${script_name}: "
+				echo "${script_name}: *** configuration '${config_name}' does not exist. ***"
+				echo "${script_name}: "
+				exit 1;
+			fi
 		fi
 
 		echo "${script_name}: configuring with '${config_name}' configuration sub-directory."