author | Pavel Boyko <boyko@iitp.ru> |
Tue, 16 Jun 2009 17:58:16 +0400 | |
changeset 5074 | 355de6af8ea9 |
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 "$@" |