mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-09 19:02:18 +00:00
80de282fd2
mc.in, mprof.in: Remove the "--", since it is no longer needed. mcn.in, mcs.in: These scripts are no longer necessary - use `mc' instead.
18 lines
558 B
Bash
18 lines
558 B
Bash
#! /bin/sh
|
|
# @configure_input@
|
|
#---------------------------------------------------------------------------#
|
|
# Copyright (C) 1995 University of Melbourne.
|
|
# This file may only be copied under the terms of the GNU General
|
|
# Public License - see the file COPYING in the Mercury distribution.
|
|
#---------------------------------------------------------------------------#
|
|
#
|
|
# MPROF - Mercury Profiler
|
|
#
|
|
# Use `mprof -h' for help.
|
|
#
|
|
# Environment variables: MERCURY_PROFILER.
|
|
|
|
MPROF=${MERCURY_PROFILER="@LIBDIR@/bin/@FULLARCH@/mercury_profile"}
|
|
|
|
exec $MPROF "$@"
|