author | Kirill V. Andreev <kirillano@yandex.ru> |
Mon, 08 Jun 2009 13:37:30 +0200 | |
changeset 4509 | b2654e0f071d |
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 "$@" |