#!/bin/sh
if [ "x$GCTLIB" = "x" ]
then
  GCTLIB=`pwd`/../../../../
  PATH=.:`pwd`/../../../..:$PATH
fi

ROOT=../..
. $ROOT/run.source 

clean
make_constant_objects

# Diff takes too long with a huge file.
init s.deref2; make_both s.deref2; lintit s.deref2
U > orig.out; I > inst.out; cmp inst.out orig.out; log_check s.deref2
std_test multi
std_test multi3


exit 0
