From b77b739ec9a3f9c714368365bb8a7f77a53d6669 Mon Sep 17 00:00:00 2001
From: Morgan Willcock <morganwillcock@users.noreply.github.com>
Date: Thu, 18 Jul 2019 17:19:49 +0100
Subject: [PATCH] Rename Makefile to avoid errors with other make variants

---
 Makefile => GNUmakefile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Makefile => GNUmakefile (100%)

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