diff -r 000000000000 -r 80e46e644bc0 bootstrap
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bootstrap	Wed May 07 18:40:48 2014 +0200
@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+
+printf "Running autoconf...\n"
+autoconf -Wall --force
+
+printf "Done. You may now run:\n    ./configure\n"