From 0ce7fe747db02523c2a82a4bbccc69def420375f Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Wed, 14 Apr 2010 14:32:07 +0000 Subject: Updated. --- autogen.sh | 25 ++++++++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 32c83df..70e02ed 100755 --- a/autogen.sh +++ b/autogen.sh @@ -35,6 +35,24 @@ if test "$1" = "--force"; then shift fi +# Begin list of optional variables sourced from ~/.gnupg-autogen.rc +w32_toolprefixes= +w32_extraoptions= +w32ce_toolprefixes= +w32ce_extraoptions= +amd64_toolprefixes= +# End list of optional variables sourced from ~/.gnupg-autogen.rc +# What follows are variables which are sourced but default to +# environment variables or lacking them hardcoded values. +#w32root= +#w32ce_root= +#amd64root= + +if [ -f "$HOME/.gnupg-autogen.rc" ]; then + echo "sourcing extra definitions from $HOME/.gnupg-autogen.rc" + . "$HOME/.gnupg-autogen.rc" +fi + # Convenience option to use certain configure options for some hosts. myhost="" myhostsub="" @@ -46,8 +64,12 @@ case "$1" in myhost="w32" myhostsub="ce" ;; + --build*) + echo "**Error**: invalid build option $1" >&2 + exit 1 + ;; *) - ;; + ;; esac @@ -66,6 +88,7 @@ if [ "$myhost" = "w32" ]; then case $myhostsub in ce) + w32root="$w32ce_root" [ -z "$w32root" ] && w32root="$HOME/w32ce_root" toolprefixes="arm-mingw32ce" ;; -- cgit v1.2.3