24 lines
483 B
Bash
Executable File

#! /bin/sh
if [ "$1" = "--help" -o "$1" = "-h" ]; then
echo "Usage: $0 [--debug|--release|--reldbg|--all] <make arguments...>"
exit 0
fi
if [ "$1" = "--all" ]; then
shift
echo $0 --debug "$@"
$0 --debug "$@" || exit 1
echo $0 --release "$@"
$0 --release "$@" || exit 1
echo $0 --reldbg "$@"
$0 --reldbg "$@" || exit 1
exit 0
fi
export mgwdir=`dirname $0`
. $mgwdir/config.sh || exit 1
echo make -f $mgwdir_s/Makefile "$@"
exec make -f $mgwdir_s/Makefile "$@"