#!/bin/sh
# The build is defined in Makefile. This wrapper exists only so the old
# ./build.sh invocation (and the docs that mention it) keep working.
#
#   ./build.sh          -> make
#   DEBUG=1 ./build.sh  -> make debug
if [ "${DEBUG:-0}" = "1" ]; then
  exec make --no-print-directory debug "$@"
fi
exec make --no-print-directory "$@"