File: configure

package info (click to toggle)
dwz 0.13%2B20210201-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 1,180 kB
  • sloc: ansic: 15,616; asm: 1,346; exp: 1,296; sh: 1,107; makefile: 124; cpp: 75; awk: 23
file content (18 lines) | stat: -rwxr-xr-x 357 bytes parent folder | download | duplicates (2) 
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