waf
changeset 0 2661206e024b
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/waf	Tue Mar 12 12:03:42 2013 +0900
@@ -0,0 +1,2 @@
+exec "`dirname "$0"`"/../../waf "$@"
+