#!/bin/sh cd $1 shift $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/finish_freezing $*