-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 According to Ralf Wildenhues on 9/13/2009 1:14 PM: > This patch should be changed to use a more reliable way to detect DJGPP. >
Eli suggested DJDIR as the more reliable test than DJGPP. > > -exec AS_ORIGINAL_STDIN_FD<&0 </dev/null AS_MESSAGE_FD>&1 > +test -n "$DJGPP" || exec AS_ORIGINAL_STDIN_FD<&0 </dev/null > +exec AS_MESSAGE_FD>&1 Since /dev/null is faked as a regular file, is there some better thing we can use to achieve the same effect, rather than disabling the redirection entirely? Or, put another way, is NUL always available on DJGPP? I'd like some feedback from DJGPP folks before approving this patch. - -- Don't work too hard, make some time for fun as well! Eric Blake [email protected] -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Cygwin) Comment: Public key at home.comcast.net/~ericblake/eblake.gpg Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkquLQ4ACgkQ84KuGfSFAYCJbgCfTm3WYxk5L8EL/FW1mPTw5QYl mBsAnjLA4trYhnltPbHp0X/FIOqxBhqt =Vf4f -----END PGP SIGNATURE-----
