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