From e9a8f6fc56ee000c76e34a6337c4eec4f3c15319 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 27 Aug 2015 16:58:44 +0200
Subject: [PATCH] Problems with 3.14.8 when makefile name is not Makefile

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

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