#!/bin/sh set -ex publish="$1" osmo-clean-workspace.sh autoreconf -fi ./configure $MAKE $PARALLEL_MAKE $MAKE $PARALLEL_MAKE check if [ "x$publish" = "x--publish" ]; then mkdir out/ cp */*.pdf out/ cat > "$WORKSPACE/known_hosts" <