From: Johannes Sixt <j6t@kdbg.org>
Date: Mon, 12 Dec 2011 21:52:11 GMT
Subject: Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty
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