src/contrib/wscript
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',
+        ]