src/wscript
changeset 6429 5ee11b58989d
parent 6398 35e28482eae9
child 6639 e09e8803df26
child 7041 70c8f8e0b08d
--- a/src/wscript	Wed Jul 07 23:58:40 2010 +0900
+++ b/src/wscript	Wed Jul 07 21:54:32 2010 -0700
@@ -60,6 +60,7 @@
     'devices/wimax',
     'mpi',
     'contrib/topology-read',
+    'contrib/energy',
     )
 
 def set_options(opt):