From 2c7065edf41d17ede36fc608b7a3749bb217ce19 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 17 Nov 2016 13:23:39 -0500 Subject: [PATCH] Rename the makefile to "GNUmakefile". Our makefile is using GNU-specific conditional expressions, so the proper name is "GNUmakefile". It will now be ignored by other Make implementations. --- 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 -- 2.43.2