diff options
author | Aqua-sama <aqua@iserlohn-fortress.net> | 2019-02-24 14:13:07 +0200 |
---|---|---|
committer | Aqua-sama <aqua@iserlohn-fortress.net> | 2019-02-24 14:13:07 +0200 |
commit | c4f01f06187b96bb2e9d215da3954fac3ce1646a (patch) | |
tree | 825f99cd214779f7a58a7475f0543fdfafd49252 /configure | |
parent | Add WIP Python REPL interface (diff) | |
download | smolbote-c4f01f06187b96bb2e9d215da3954fac3ce1646a.tar.xz |
Fixed failing build if manpage is disabled
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ def prompt(prompt, default, options=[]): return v return default -if __name__ is "__main__": +if __name__ == "__main__": # build options build_dir = prompt('build folder', 'build') build_type = prompt('build type', 'release', ['plain', 'debug', 'debugoptimized', 'release']) |