Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty
From: Jeff King <hidden>
Date: 2016-06-15 22:52:37
On Mon, Dec 12, 2011 at 10:10:03PM +0100, Johannes Sixt wrote:
quoted hunk ↗ jump to hunk
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