src/core/wscript
changeset 7843 5ed75237e75a
parent 7797 69c3c67b1b97
--- a/src/core/wscript	Tue Apr 10 15:52:32 2012 -0700
+++ b/src/core/wscript	Tue Apr 10 16:07:39 2012 -0700
@@ -168,7 +168,6 @@
         'test/traced-callback-test-suite.cc',
         'test/type-traits-test-suite.cc',
         'test/watchdog-test-suite.cc',
-        'test/threaded-test-suite.cc',
         ]
 
     headers = bld.new_task_gen(features=['ns3header'])
@@ -291,6 +290,7 @@
             ])
         core.use.append('PTHREAD')
         core_test.use.append('PTHREAD')
+        core_test.source.extend(['test/threaded-test-suite.cc'])
         headers.source.extend([
                 'model/unix-fd-reader.h',
                 'model/system-mutex.h',