diff options
author | DJ Delorie <dj@redhat.com> | 2003-05-28 23:16:29 +0400 |
---|---|---|
committer | DJ Delorie <dj@redhat.com> | 2003-05-28 23:16:29 +0400 |
commit | 4218d888971213c57c903845e16a10bc8bde616b (patch) | |
tree | 0326ff9e8d049008ef9d6c6b2f49d41eb3e185a8 /Makefile.tpl | |
parent | 82095e79cf4e14221ff3fc72a2a80cbc4d3b5871 (diff) |
* Makefile.tpl: Make maybe-check-gcc .PHONY.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.tpl')
-rw-r--r-- | Makefile.tpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index c07fed663..a348206c7 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -1269,7 +1269,7 @@ cross: all-texinfo all-bison all-byacc all-binutils all-gas all-ld $(MAKE) $(BASE_FLAGS_TO_PASS) $(RECURSE_FLAGS) \ LANGUAGES="c c++" all -.PHONY: check-gcc +.PHONY: check-gcc maybe-check-gcc maybe-check-gcc: check-gcc: @if [ -f ./gcc/Makefile ] ; then \ |