#!/bin/bash source ../functions.bash if [ $# -ne 1 ] ; then echo "Usage: $0 poolpath" 1>&2 exit 1 fi set -e TAG="_auto_" BUILDDIR=$(mktemp -d) OUTPUT_DIR="$1" build_git_repo "$BUILDDIR" "https://github.com/quitesimpleorg/hs9001" hs9001 "$TAG" "$OUTPUT_DIR"