samples/waf
author Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
Fri, 15 Oct 2010 18:12:12 +0100
changeset 6365 5aae46b0c51c
parent 1315 c0bf7ced1bf1
permissions -rwxr-xr-x
Fix a silly bug, when calling poll()

exec "`dirname "$0"`"/../waf "$@"