From 594becf93134d1d5ed907d1e043d87547573fb9b Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Sun, 17 Mar 2019 15:02:33 +0000
Subject: [PATCH] Fix: CREATE_DEVEL wasn't set to true when it should

Fix a situation in which no devel RPM package was built

Signed-off-by: Jan Lindemann <jan@janware.com>
---
 make/defs-cpp.mk | 1 -
 make/defs.mk     | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/defs-cpp.mk b/make/defs-cpp.mk
index 710f5fc3..28020862 100644
--- a/make/defs-cpp.mk
+++ b/make/defs-cpp.mk
@@ -1,5 +1,4 @@
 # ----- compilation options
-CREATE_DEVEL                ?= true
 #COMPILER_SUITE             ?= clang
 COMPILER_SUITE              ?= gcc
 LIBTYPE                     ?= shared
diff --git a/make/defs.mk b/make/defs.mk
index bb8f67ec..ae255a71 100644
--- a/make/defs.mk
+++ b/make/defs.mk
@@ -207,6 +207,7 @@ ifneq ($(PROJECT_DESCR_FILE),)
     CREATE_DEVEL             = false
   endif
 endif
+CREATE_DEVEL                ?= true
 
 ifeq ($(VERSION),)
   ifneq ($(wildcard $(VERSION_FILE)),)