Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty
- From
Johannes Sixt <j6t@kdbg.org>
- Date
- Dec 12, 2011, 21:52 UTC
- Message-ID
- <4EE6778B.4000803@kdbg.org>
- In-Reply-To
- <20111212211801.GA9754@sigill.intra.peff.net>
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