#!/bin/sh
# The bare hol98 script

archOS=x86-linux; export archOS
HOLDIR=/local/scratch/kxs/foo/export; export HOLDIR

/local/scratch/kxs/foo/export/bin/mosml -quietdec -P full /local/scratch/kxs/foo/export/std.prelude $*
