From 5d5df1d903e952ada7dbad726431b0cc25e8f5a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 14 Sep 2015 11:50:22 +0200 Subject: Export int values to conf.mk Generated configuration file for makefile did not contain int values. But they were used. This is new feature but also fix. --- scripts/confmk.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/confmk.py b/scripts/confmk.py index 3a59510..d1af0bf 100755 --- a/scripts/confmk.py +++ b/scripts/confmk.py @@ -18,6 +18,9 @@ def gen_confmk(): if type(val) is str: f.write("CONF_" + var.upper() + " := ") f.write(val + '\n') + elif type(val) is int: + f.write("CONF_" + var.upper() + " := ") + f.write(str(val) + '\n') ################################################################################# -- cgit v1.2.3