debian/register

   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