diff options
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/list_valid_installed_externals | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/list_valid_installed_externals b/build_tools/list_valid_installed_externals index ed362743c..c37102208 100755 --- a/build_tools/list_valid_installed_externals +++ b/build_tools/list_valid_installed_externals @@ -6,7 +6,7 @@ fi set -e ASTTOPDIR=${ASTTOPDIR:-.} -export make=`sed -n -r -e "s/^MAKE\s*=\s*//gp" ${ASTTOPDIR}/makeopts` +export make=`sed -n -e "s/^MAKE\s*=\s*//gp" ${ASTTOPDIR}/makeopts` getvar() { $make --quiet --no-print-directory -f- <<EOF |