diff options
| -rwxr-xr-x | scripts/confmk.py | 3 |
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') ################################################################################# |