Imported Debian patch 110.74-1

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

diff --git a/debian/register b/debian/register
new file mode 100644 (file)
index 0000000..1def8e9
--- /dev/null
+++ b/debian/register
@@ -0,0 +1,15 @@
+#!/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