annotate bootstrap @ 7207:9ed6500e56d3 default tip @

maint: Merge release to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 17 May 2024 20:16:41 +0200
parents 8e9dce45d941
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4979
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
1 #!/bin/bash
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
2 ## bootstrap script
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
3 ## Run this to generate the configure script
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
4
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
5 set -e # halt if unhandled error
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
6 aclocal
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
7 autoconf # generate configure script