changeset 1878 | f947cd18f0bb |
child 1879 | 876026968947 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/contrib/wscript Thu Dec 06 11:05:17 2007 +0000 @@ -0,0 +1,12 @@ +## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*- + +def build(bld): + module = bld.create_ns3_module('contrib', ['simulator']) + module.source = [ + 'event-garbage-collector.cc', + ] + + headers = bld.create_obj('ns3header') + headers.source = [ + 'event-garbage-collector.h', + ]