7 if [ -x config.status
-a -z "$*" ]; then
8 .
/config.status
--recheck
11 echo "I am going to run ./configure with no arguments - if you wish "
12 echo "to pass any to it, please specify them on the $0 command line."
13 echo "If you do not wish to run ./configure, press Ctrl-C now."
14 trap 'echo "configure aborted" ; exit 0' 1 2 15