Add convenient reconfigure script.

viacast · Jul 4, 2011 · 8251f68 · 8251f68
1 parent 6481ebb
commit 8251f68
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/reconfigure b/reconfigure
@@ -0,0 +1,7 @@
+#!/bin/sh
+if [ -s "config.log" ]; then
+	$(tail -1 config.log) $@
+else
+	echo The file \"config.log\" does not exist.
+	echo You must run configure first. 
+fi