diff --git a/src/command_line.py b/src/command_line.py index 4aba685..f25e81b 100644 --- a/src/command_line.py +++ b/src/command_line.py @@ -51,6 +51,7 @@ options['u'] = [ 'unused' , 'Print unused providers', 0 ] class CommandLine(object): + do_openmp = False def __init__(self): global options self._opts = None diff --git a/src/preprocessed_text.py b/src/preprocessed_text.py index 5d47938..50a4652 100644 --- a/src/preprocessed_text.py +++ b/src/preprocessed_text.py @@ -671,7 +671,6 @@ def change_includes(text): if type(line) == Include: txt = line.text.replace('"',"'").split("'") if len(txt) != 3: - print txt error.fail(line,"Error in include statement") filename = txt[1].strip() try: diff --git a/src/version.py b/src/version.py index ea274a4..6d399f3 100644 --- a/src/version.py +++ b/src/version.py @@ -1 +1 @@ -version = "1.2.20" +version = "1.2.21"