diff --git a/scripts/mprof.in b/scripts/mprof.in index 0af2b04da..a0b2c2313 100644 --- a/scripts/mprof.in +++ b/scripts/mprof.in @@ -15,6 +15,6 @@ MPROF=${MERCURY_PROFILER="@LIBDIR@/bin/@FULLARCH@/mercury_profile"} case $# in - 0) exec $MPROF - *) exec $MPROF "$@" + 0) exec $MPROF ;; + *) exec $MPROF "$@" ;; esac