#! /bin/sh
exec "`dirname "$0"`"/../../../waf "$@"
