view examples/sci.sh @ 55:38901547a76c

misc: improve error message
author David Demelier <markand@malikania.fr>
date Wed, 17 Aug 2022 11:13:36 +0200
parents 054cc00e23d2
children
line wrap: on
line source

#!/bin/sh

set -e

readonly wrkdir="$(mktemp -d /tmp/sci-XXXXXX)"
readonly repo="http://hg.malikania.fr/sci"

trap "cleanup" INT TERM EXIT

cleanup()
{
	rm -rf $wrkdir
}

if [ "$#" -ne 1 ]; then
	echo "abort: $(basename $0) revision" 1>&2
	exit 1
fi

echo "=> Cloning repository $repo (revision $1) into $wrkdir"
hg clone -r "$1" "$repo" "$wrkdir"
cd "$wrkdir"

echo "=> Building"
make