From 16f41881a528ad9e4479cb90989a5d3110fe985f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 Nov 2013 16:36:22 -0500 Subject: Add autogen.sh --- autogen.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 autogen.sh (limited to 'autogen.sh') diff --git a/autogen.sh b/autogen.sh new file mode 100755 index 00000000..3ebda422 --- /dev/null +++ b/autogen.sh @@ -0,0 +1,2 @@ +#!/bin/sh +autoreconf -fvi -- cgit v1.2.3