#!/bin/sh
INSTENGINE="/usr/lib/ciao-1.10/engine/ciaoengine"${CIAOARCH:+".$CIAOARCH"}
ENGINE=${CIAOENGINE:-${INSTENGINE}}
exec "$ENGINE" "$@" -C -b $0 

