mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
a2def4bcc8
... by replacing tabs with spaces, adding modelines, replacing [ with test, and fixing indentation.
26 lines
825 B
Bash
26 lines
825 B
Bash
#! /bin/sh
|
|
#---------------------------------------------------------------------------#
|
|
# vim: ts=4 sw=4 et ft=sh
|
|
#---------------------------------------------------------------------------#
|
|
# @configure_input@
|
|
#---------------------------------------------------------------------------#
|
|
# Copyright (C) 1995, 2005 The 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.
|
|
|
|
prefix=@prefix@
|
|
exec_prefix=@exec_prefix@
|
|
MPROF=${MERCURY_PROFILER="@bindir@/mercury_profile"}
|
|
|
|
case $# in
|
|
0) exec $MPROF ;;
|
|
*) exec $MPROF "$@" ;;
|
|
esac
|