diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap new file mode 100755 index 0000000..4c37c0f --- /dev/null +++ b/bootstrap @@ -0,0 +1,13 @@ +#!/bin/sh + +autoreconf -vif || exit 1 +sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 + +## Prepare the man pages +mkdir -p .native || exit 1 +cd .native || exit 1 +bash ../configure SHELL=$(which sh) || exit 1 +make -j V=1 || exit 1 +make -j dist || exit 1 +cd .. || exit 1 +rm -rf .native || exit 1 |