From 71d02d2a326939c9ff9d9a9193dfc026d3a1f159 Mon Sep 17 00:00:00 2001
From: Sean Chittenden <sean@chittenden.org>
Date: Fri, 5 Feb 2016 14:24:26 -0800
Subject: [PATCH] Acknowledge that we're using GNU make's dialect and rename
 appropriate Makefiles to GNUmakefiles so that non-GNU make(1) will error out.
  This should be a transparent change to the universe of people using GNU
 make.

---
 Makefile => GNUmakefile      | 0
 ui/{Makefile => GNUmakefile} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename Makefile => GNUmakefile (100%)
 rename ui/{Makefile => GNUmakefile} (100%)

diff --git a/Makefile b/GNUmakefile
similarity index 100%
rename from Makefile
rename to GNUmakefile
diff --git a/ui/Makefile b/ui/GNUmakefile
similarity index 100%
rename from ui/Makefile
rename to ui/GNUmakefile