|
|
1.1 misho 1: #!/bin/sh
2:
3: srcdir=`dirname $0`
4: opt="$1"
5: shift
6:
7: echo "$*"
8: if ! "${@}"; then
9: echo "If you can't fix the issue, re-run $srcdir/configure with --$opt."
10: exit 1
11: fi