From fe03130fe14073159b0e2486e521c9ba999a333a Mon Sep 17 00:00:00 2001
From: David Brown <dave.github@brownsmeet.com>
Date: Fri, 12 Aug 2016 16:11:34 +0100
Subject: [PATCH] Trigger a build after manually pulling cygwin 64 bit.

---
 makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/makefile b/makefile
index 45d2ad50..ec72799f 100644
--- a/makefile
+++ b/makefile
@@ -230,6 +230,8 @@ revertbootstrap:
 
 # --- multi-machine multi-platform build management ---
 
+# NOTE: No longer used. Obsoleted by postpush.pl and buildall.pl.
+
 
 
 # coordinator: Start the test machine coordinator