author | Kirill Andreev <andreev@iitp.ru> |
Mon, 03 Aug 2009 19:13:46 +0400 | |
changeset 5145 | 7f50ab7ce59d |
parent 3478 | f22fe8e879a7 |
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 "$@" |