From 8251f682a8262ac3a16c4358d19ef51c85dc794c Mon Sep 17 00:00:00 2001
From: Dan Dennedy <dan@dennedy.org>
Date: Mon, 4 Jul 2011 10:39:53 -0700
Subject: [PATCH] Add convenient reconfigure script.

---
 reconfigure | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 reconfigure

diff --git a/reconfigure b/reconfigure
new file mode 100755
index 00000000..cd173bde
--- /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
-- 
2.39.2