From 27a799df3549df4e8a6532212a86d897e810d522 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Thu, 11 Jul 2013 00:40:20 +0200 Subject: [PATCH] Openmp bug Version:1.2.21 --- src/command_line.py | 1 + src/preprocessed_text.py | 1 - src/version.py | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) 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"