dwz/configure

19 lines
357 B
Bash
Executable File

#!/bin/sh
srcdir=$(cd $(dirname $0); pwd -P)
if [ "$srcdir" = "$(pwd -P)" ]; then
# We're not in a separate build dir, but in the source dir, we already
# have a Makefile.
exit 0
fi
cat > Makefile <<EOF
srcdir:=$srcdir
default:
\$(MAKE) -f \$(srcdir)/Makefile srcdir=\$(srcdir)
%:
\$(MAKE) -f \$(srcdir)/Makefile srcdir=\$(srcdir) \$*
EOF