aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAqua-sama <aqua@iserlohn-fortress.net>2019-02-24 14:13:07 +0200
committerAqua-sama <aqua@iserlohn-fortress.net>2019-02-24 14:13:07 +0200
commitc4f01f06187b96bb2e9d215da3954fac3ce1646a (patch)
tree825f99cd214779f7a58a7475f0543fdfafd49252 /configure
parentAdd WIP Python REPL interface (diff)
downloadsmolbote-c4f01f06187b96bb2e9d215da3954fac3ce1646a.tar.xz
Fixed failing build if manpage is disabled
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index a619ff6..40e7fd4 100755
--- a/configure
+++ b/configure
@@ -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'])