utils/waf
changeset 1315 c0bf7ced1bf1
equal deleted inserted replaced
1314:d0f6f8507468 1315:c0bf7ced1bf1
       
     1 exec "`dirname "$0"`"/../waf "$@"