1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
#
# $Id$
#
# Rerun configure with the same options as last time.
if test -e config.log
then
perl -e 'while(<>) { if(s/^ *\$ *(.*)configure/$1configure/) { exec $_; } }' config.log
else
echo 'No config.log found. Did you ever run configure?'
fi
|