fixconfig

#!/bin/sh
sed '/^s%@LIBOBJS@%$LIBOBJS%g$/a\
" $top_srcdir/${file}.in | sed "\
$prsub\
$extrasub\
' config.status \
|sed 's/^" $top_srcdir.${file}.in >>/" >>/' > config.newstatus
mv config.newstatus config.status
chmod +x config.status