From 1bac175c42e6b7d05a03cc04504583e64684cc1b Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 22 Aug 2019 15:51:53 +0200
Subject: [PATCH] no need to go into config for 3.13 and it can cause problems
 with 3.14+

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6f08a33..c0bfc61 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@ else ifneq ($(wildcard ../config),)
 else
   # Using our own local configuration
   TOP = .
-  DIRS = config configure 
+  DIRS = configure
   src_DEPEND_DIRS := $(DIRS)
   include $(TOP)/configure/CONFIG
 endif