diff options
Diffstat (limited to '')
-rwxr-xr-x | autogen.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index f7bab4a25..b943c6f77 100755 --- a/autogen.sh +++ b/autogen.sh @@ -76,10 +76,12 @@ if [ "$myhost" = "w32" ]; then fi build=`$tsdir/scripts/config.guess` + extraoptions="" case $myhostsub in ce) [ -z "$w32root" ] && w32root="$HOME/w32ce_root" toolprefixes="arm-mingw32ce" + extraoptions="--disable-scdaemon" ;; *) [ -z "$w32root" ] && w32root="$HOME/w32root" @@ -124,7 +126,7 @@ if [ "$myhost" = "w32" ]; then --with-regex=${w32root} \ --with-pth-prefix=${w32root} \ --with-adns=${w32root} \ - --disable-g13 "$@" + ${extraoptions} --disable-g13 "$@" rc=$? exit $rc fi |