diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/get_config_variables | 29 |
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 |