blob: 4e526ca9a177a7cf60b4c10cfa17569dd19db8f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
#
# Copyright (C) Paul Davis 2011-2012
while true ; do
if [ -x ./waf ] ; then
./waf "$@"
if [ "$?" -ne "0" ]; then
exit 1
else
exit 0
fi
fi
cd ..
if [ `pwd` = '/' ] ; then break; fi
done
|