Add convenient reconfigure script.

diff --git a/reconfigure b/reconfigure
new file mode 100755 (executable)
index 0000000..cd173bd
--- /dev/null
+++ 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