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.

diff --git a/scripts/confmk.py b/scripts/confmk.py
index 3a595101f9bdcd2a13c03901f24ba5ccde5910bd..d1af0bf22a3da4138f775b626e4a57133eaa6eae 100755 (executable)
--- 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')
 
 #################################################################################