Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty
From: Johannes Sixt <hidden>
Date: 2016-06-15 22:52:37
From: Johannes Sixt <hidden>
Date: 2016-06-15 22:52:37
Am 12.12.2011 22:18, schrieb Jeff King:
The most recent version of the prompt series has platforms opting into the replacement with HAVE_DEV_TTY.
I see. Obviously, I've tested an earlier iteration. This patch can be dropped then. -- Hannes