From c4f01f06187b96bb2e9d215da3954fac3ce1646a Mon Sep 17 00:00:00 2001 From: Aqua-sama Date: Sun, 24 Feb 2019 14:13:07 +0200 Subject: Fixed failing build if manpage is disabled --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') 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']) -- cgit v1.2.1