Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty
- From
Jeff King <peff@peff.net>
- Date
- Dec 12, 2011, 21:18 UTC
- Message-ID
- <20111212211801.GA9754@sigill.intra.peff.net>
- In-Reply-To
- <4EE66DAB.5070407@kdbg.org>
On Mon, Dec 12, 2011 at 10:10:03PM +0100, Johannes Sixt wrote:
Show 20 quoted lines
> diff --git a/Makefile b/Makefile > index 2c506b3..5b7f6a8 100644 > --- a/Makefile > +++ b/Makefile > @@ -1139,6 +1139,7 @@ ifeq ($(uname_S),Windows) > NO_CURL = YesPlease > NO_PYTHON = YesPlease > BLK_SHA1 = YesPlease > + NO_DEV_TTY = YesPlease > NO_POSIX_GOODIES = UnfortunatelyYes > NATIVE_CRLF = YesPlease > > @@ -1232,6 +1233,7 @@ ifneq (,$(findstring MINGW,$(uname_S))) > ETAGS_TARGET = ETAGS > NO_INET_PTON = YesPlease > NO_INET_NTOP = YesPlease > + NO_DEV_TTY = YesPlease > NO_POSIX_GOODIES = UnfortunatelyYes > COMPAT_CFLAGS += -D__USE_MINGW_ACCESS -DNOGDI -Icompat -Icompat/win32 > COMPAT_CFLAGS += -DSTRIP_EXTENSION=\".exe\"
Unless I've bungled something, these should be no-ops, shouldn't they? The most recent version of the prompt series has platforms opting into the replacement with HAVE_DEV_TTY.
-Peff