diff options
| author | Roland McGrath <roland@redhat.com> | 1993-07-30 05:29:32 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1993-07-30 05:29:32 +0000 |
| commit | 9326e8fec55b3bc8e7c65cbf712720e32f3e8ecc (patch) | |
| tree | 08993473e2991e4ef601795dd85a111a183a6d5f | |
| parent | 5cf5f261d987ad81740a7b9367c20e6ac27fe4cf (diff) | |
| download | gunmake-9326e8fec55b3bc8e7c65cbf712720e32f3e8ecc.tar.gz | |
Formerly compatMakefile.~79~
| -rw-r--r-- | compatMakefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/compatMakefile b/compatMakefile index 16ddc86..0ce5ca9 100644 --- a/compatMakefile +++ b/compatMakefile @@ -137,11 +137,12 @@ srcs = $(srcdir)/commands.c $(srcdir)/job.c $(srcdir)/dir.c \ .SUFFIXES: .SUFFIXES: .o .c .h .ps .dvi .info .texinfo -.PHONY: all check info dvi all: make check: # No tests. info: make.info dvi: make.dvi +# Some makes apparently use .PHONY as the default goal is it is before `all'. +.PHONY: all check info dvi make.info: make.texinfo $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo -o make.info @@ -211,7 +212,9 @@ $(infodir)/make.info: make.info # Run install-info only if it exists. # Use `if' instead of just prepending `-' to the # line so we notice real errors from install-info. - if install-info --version >/dev/null 2>&1; then \ +# We use `$(SHELL) -c' because some shells do not +# fail gracefully when there is an unknown command. + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ install-info --infodir=$(infodir) $$d/foo.info; \ else true; fi |