doc/waft

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