aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/confmk.py3
1 files changed, 3 insertions, 0 deletions
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')
#################################################################################