author | Yufei Cheng <yfcheng@ittc.ku.edu> |
Thu, 09 May 2013 14:50:43 -0700 | |
changeset 9747 | d32c4a047cfc |
parent 6852 | 8f1a53d3f6ca |
permissions | -rwxr-xr-x |
3478
f22fe8e879a7
Add helper waf proxy script
Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
parents:
diff
changeset
|
1 |
exec "`dirname "$0"`"/../../../waf "$@" |