Updated.

1 files changed, 24 insertions, 1 deletions

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"
           ;;