2016-10-17 16:00:42 +00:00
|
|
|
#!/bin/sh
|
2016-10-16 23:46:00 +00:00
|
|
|
|
|
|
|
set -ex
|
|
|
|
|
2018-11-14 10:09:31 +00:00
|
|
|
if [ -n "$1" ]; then
|
|
|
|
echo "ERROR: --publish has been deprecated!"
|
|
|
|
echo "Manuals have been moved to the projects, and need to be published from there."
|
|
|
|
echo "See INSTALL.txt for more information."
|
|
|
|
exit 1
|
|
|
|
fi
|
2017-12-15 04:36:49 +00:00
|
|
|
|
2017-10-27 20:54:14 +00:00
|
|
|
osmo-clean-workspace.sh
|
2016-10-16 23:46:00 +00:00
|
|
|
|
2018-11-14 13:25:18 +00:00
|
|
|
autoreconf -fi
|
2019-08-02 13:41:12 +00:00
|
|
|
./configure --enable-asciidoc-warnings-check
|
2018-11-14 09:59:25 +00:00
|
|
|
$MAKE $PARALLEL_MAKE
|
|
|
|
$MAKE $PARALLEL_MAKE check
|
2018-11-19 10:55:46 +00:00
|
|
|
$MAKE $PARALLEL_MAKE distcheck
|
2019-07-10 10:27:35 +00:00
|
|
|
$MAKE maintainer-clean
|
2017-10-27 20:54:14 +00:00
|
|
|
|
|
|
|
osmo-clean-workspace.sh
|