Add helper waf proxy script
authorGustavo J. A. M. Carneiro <gjc@inescporto.pt>
Thu, 24 Jul 2008 11:27:57 +0100
changeset 3478 f22fe8e879a7
parent 3474 dac9146297c8
child 3479 d89e9db667f0
Add helper waf proxy script
src/devices/wifi/waf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/devices/wifi/waf	Thu Jul 24 11:27:57 2008 +0100
@@ -0,0 +1,1 @@
+exec "`dirname "$0"`"/../../../waf "$@"