From c984be8758b5e7b753a2bff7d55904dac851eb4c Mon Sep 17 00:00:00 2001
From: Christopher Spinrath <christopher.spinrath@rwth-aachen.de>
Date: Sun, 30 Aug 2015 22:41:58 +0200
Subject: [PATCH] config: make config generator compatible with options
 containing whitespaces

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

diff --git a/Makefile b/Makefile
index 66e4bd3..5e458ba 100644
--- a/Makefile
+++ b/Makefile
@@ -554,7 +554,7 @@ repo: repo_packages repo_package_info repo_metadata
 config $(CONFIG_FILE):
 	@echo "Generating configuration $(CONFIG_FILE)"
 	echo "#see $(CONFIG_FILE_DEFAULTS) for default values." > "$(CONFIG_FILE)"
-	echo -e -n "$(foreach option,$(CONFIGURABLE),$(option)=$($(option))\n)" | tr -d "[:blank:]" >> "$(CONFIG_FILE)"
+	echo -e -n "$(foreach option,$(CONFIGURABLE),$(option)=$(strip $($(option)))\n)" >> "$(CONFIG_FILE)"
 
 config_clean:
 	$(RM) $(CONFIG_FILE)
-- 
GitLab