mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-03 22:56:33 +02:00
More chnages to use estream. Add a way to replace the standard
descriptors.
This commit is contained in:
parent
0f4eefb094
commit
e64038608b
33 changed files with 241 additions and 78 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue