diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2020-02-12 23:08:49 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2020-02-12 23:08:49 +0200 |
commit | 1d1687c574bcbf5a7f54cb45763ad36fa70b3c2a (patch) | |
tree | b61ae0ad99c3654684391c62bb1a1d29d1908273 /bootstrap | |
parent | 28c6a911174d2ce2672e44b55e3e09c05adfad3f (diff) | |
download | ping903-1d1687c574bcbf5a7f54cb45763ad36fa70b3c2a.tar.gz ping903-1d1687c574bcbf5a7f54cb45763ad36fa70b3c2a.tar.bz2 |
Add manpages
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap new file mode 100755 index 0000000..f3a1c41 --- /dev/null +++ b/bootstrap @@ -0,0 +1,8 @@ +#! /bin/sh +if test -d .git -a -f src/ping903.c; then + test -d m4 || mkdir m4 + autoreconf -f -i -s +else + echo >&2 "$0: not running from a source directory?" + exit 1 +fi |