diff options
Diffstat (limited to 'maintainer/make_distn')
-rwxr-xr-x | maintainer/make_distn | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/maintainer/make_distn b/maintainer/make_distn new file mode 100755 index 0000000..09f9076 --- /dev/null +++ b/maintainer/make_distn @@ -0,0 +1,13 @@ +#!/bin/sh +# +# make_distn: +# +# Copyright (c) 2017 James McKenzie <foss@madingley.org>, +# All rights reserved. +# +# +# +./maintainer/bootstrap +./configure +make dist +make distclean |