# HG changeset patch # User John Donoghue # Date 1551314178 18000 # Node ID 8e9dce45d941bced45ef03f36234841da7f96d7d # Parent 7eb5d67a54e3bf4b250a14fe3439f9d6da144382 * bootstrap: new file diff -r 7eb5d67a54e3 -r 8e9dce45d941 bootstrap --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bootstrap Wed Feb 27 19:36:18 2019 -0500 @@ -0,0 +1,7 @@ +#!/bin/bash +## bootstrap script +## Run this to generate the configure script + +set -e # halt if unhandled error +aclocal +autoconf # generate configure script