From e900205eacca66e54cf0d0d26ccdfc9290b0e223 Mon Sep 17 00:00:00 2001 From: kanschat Date: Tue, 24 Oct 2006 17:30:04 +0000 Subject: [PATCH] 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 --- deal.II/reconfigure | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 deal.II/reconfigure 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 -- 2.39.5