From 1d194ada5ce4481ff2d4f07b0f7b323843a69049 Mon Sep 17 00:00:00 2001 From: Mitch Watrous Date: Mon, 24 Jan 2011 09:49:57 -0800 Subject: [PATCH] Fix simulator waf problem when real time is not enabled --- src/simulator/wscript | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/simulator/wscript b/src/simulator/wscript index 5c97019e7..a18cc992e 100644 --- a/src/simulator/wscript +++ b/src/simulator/wscript @@ -125,6 +125,8 @@ def build(bld): 'wall-clock-synchronizer.cc', ]) sim.uselib = 'RT' + else: + sim.uselib = '' if env['ENABLE_THREADING']: sim.source.extend([