File: configure

package info (click to toggle)
dwz 0.13-5~bpo10+1
  • links: PTS
  • area: main
  • in suites: buster-backports
  • size: 1,564 kB
  • sloc: ansic: 13,097; asm: 1,745; exp: 1,210; sh: 919; makefile: 98; awk: 23
file content (18 lines) | stat: -rwxr-xr-x 357 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/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