22 |
|
|
23 |
# Systems where /bin/sh is not the default shell need this. The $(shell) |
# Systems where /bin/sh is not the default shell need this. The $(shell) |
24 |
# command below won't work with e.g. stock DOS/Windows shells. |
# command below won't work with e.g. stock DOS/Windows shells. |
25 |
|
ifeq ($(wildcard /bin/s[h]),/bin/sh) |
26 |
SHELL = /bin/sh |
SHELL = /bin/sh |
27 |
|
else |
28 |
|
# will be used only with the next shell-test line, then overwritten |
29 |
|
# by a configured-in value |
30 |
|
SHELL = sh |
31 |
|
endif |
32 |
|
|
33 |
have-Makefile := $(shell test -f Makefile && echo yes) |
have-Makefile := $(shell test -f Makefile && echo yes) |
34 |
|
|