[hcoop/zz_old/debian/smlnj.git] / debian / register

#!/bin/sh

set -e

if [ $# -ne 2 ] ; then
    echo "usage: register name target"
    exit 1
fi

name=$1
target=$2

/usr/lib/smlnj/bin/deregister $name

echo "$name $target" >> /usr/lib/smlnj/lib/pathconfig
Commit	Line	Data
4dd335d4 JM	1	#!/bin/sh
	2
	3	set -e
	4
	5	if [ $# -ne 2 ] ; then
	6	echo "usage: register name target"
	7	exit 1
	8	fi
	9
	10	name=$1
	11	target=$2
	12
	13	/usr/lib/smlnj/bin/deregister $name
	14
	15	echo "$name $target" >> /usr/lib/smlnj/lib/pathconfig