]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
add a command that reruns configure with the same arguments as last time
authorkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 24 Oct 2006 17:30:04 +0000 (17:30 +0000)
committerkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 24 Oct 2006 17:30:04 +0000 (17:30 +0000)
git-svn-id: https://svn.dealii.org/trunk@14066 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/reconfigure [new file with mode: 0755]

diff --git a/deal.II/reconfigure b/deal.II/reconfigure
new file mode 100755 (executable)
index 0000000..59166b9
--- /dev/null
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.