From: kanschat Date: Tue, 24 Oct 2006 17:30:04 +0000 (+0000) Subject: add a command that reruns configure with the same arguments as last time X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e900205eacca66e54cf0d0d26ccdfc9290b0e223;p=dealii-svn.git add a command that reruns configure with the same arguments as last time git-svn-id: https://svn.dealii.org/trunk@14066 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/reconfigure b/deal.II/reconfigure new file mode 100755 index 0000000000..59166b9f4a --- /dev/null +++ b/deal.II/reconfigure @@ -0,0 +1,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