dwz/configure

19 lines
357 B
Plaintext
Raw Permalink Normal View History

2022-08-25 18:00:22 +08:00
#!/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