blob: 4d10a5692dbd34c50e105e2de6df3895e9e0066d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
#!/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 "$@"
|
