mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-09 10:52:24 +00:00
18 lines
561 B
Bash
18 lines
561 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 -- "$@"
|