src/wscript
changeset 6113 0ce37bf4f1c1
parent 6111 0b22ae082153
child 6127 b5bc10de166d
--- a/src/wscript	Mon Mar 08 15:24:22 2010 -0800
+++ b/src/wscript	Mon Mar 08 21:07:31 2010 -0500
@@ -50,6 +50,7 @@
     'contrib/flow-monitor',
     'applications/udp-client-server',
     'devices/wimax',
+    'mpi',
     )
 
 def set_options(opt):