1234567891011121314151617181920212223242526 |
- #!/bin/sh -e
- # This configure script ensures that the configure.sh script exists, and
- # if not, it tries to fetch rsync's generated files or build them. We
- # then transfer control to the configure.sh script to do the real work.
- dir=`dirname $0`
- realconfigure="$dir/configure.sh"
- if test ! -f "$realconfigure"; then
- if test -f "$HOME/build_farm/build_test.fns"; then
- # Allow the build farm to grab latest files via rsync.
- actions='build fetch'
- else
- actions='build'
- fi
- if "$dir/prepare-source" $actions; then
- :
- else
- echo 'Failed to build configure.sh and/or config.h.in -- giving up.' >&2
- rm -f "$realconfigure"
- exit 1
- fi
- fi
- exec "$realconfigure" "${@}"
|