1 files changed, 29 insertions, 0 deletions
diff --git a/bin/get_config_variables b/bin/get_config_variables
new file mode 100644
index 000000000..aa8198a44
--- /dev/null
+++ b/bin/get_config_variables
@@ -0,0 +1,29 @@
+#!/bin/sh
+#set -x
+
+glv_var="$1"
+glv_config="config_host.mk"
+
+if [ "$glv_var" = "--build" ] ; then
+    glv_config="config_build.mk"
+    shift
+elif [ "$glv_var" = "--host" ] ; then
+    shift
+fi
+
+# full path, in case we export a "wrong" PATH
+test -n "$GREP" && glv_grep="$GREP" || glv_grep=$(command -v grep)
+test -n "$SED" && glv_sed="$SED" || glv_sed=$(command -v sed)
+
+while [ -n "$1" ] ; do
+    glv_var="$1"
+    shift
+    glv_value=$("${glv_grep}" "^ *export ${glv_var}=" ${glv_config} | "${glv_sed}" -e 's/[^=]*=//')
+    export ${glv_var}="${glv_value}"
+done
+
+unset glv_var
+unset glv_value
+unset glv_config
+unset glv_sed
+unset glv_grep