From a7024e784c7520fce4ea901e6ea3bf8f54010bfd Mon Sep 17 00:00:00 2001
From: Caner Candan <caner.candan@thalesgroup.com>
Date: Sun, 28 Nov 2010 03:35:21 +0100
Subject: [PATCH] added variable time measure

---
 eo/test/t-openmp.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/eo/test/t-openmp.py b/eo/test/t-openmp.py
index 0fb091f5..c9f104be 100755
--- a/eo/test/t-openmp.py
+++ b/eo/test/t-openmp.py
@@ -71,7 +71,8 @@ def non_zero( value ): return value if value > 0 else 1
 
 def do_measure( name, p, ps, P, d, ds, D, r=options.nRun, s=options.seed, v='logging' ):
     pwd = options.topic + name + '_'
-    cmd = OPENMP_EXEC_FORMAT % (p, ps, P, d, ds, D, r, s, v, pwd, options.measureConstTime, options.measureVarTime)
+    cmd = OPENMP_EXEC_FORMAT % (p, ps, P, d, ds, D, r, s, v, pwd,
+                                int(options.measureConstTime), int(options.measureVarTime))
     logging.debug( cmd )
     if not options.onlyprint:
         os.system( cmd )