From d8524ae4dd14223842420cc465d6a553bf46f1b9 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 3 Oct 2015 16:24:06 +0100 Subject: [PATCH] Fixed indentation --- scripts/mk_util.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 87fe7f16d..d0b834e04 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -563,8 +563,8 @@ def display_help(exit_code): if not IS_WINDOWS: print(" -g, --gmp use GMP.") print(" --gprof enable gprof") - print(" -f --foci2= use foci2 library at path") - print(" --noomp disable OpenMP and all features that require it.") + print(" -f --foci2= use foci2 library at path") + print(" --noomp disable OpenMP and all features that require it.") print("") print("Some influential environment variables:") if not IS_WINDOWS: