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.in | |
| parent | 82095e79cf4e14221ff3fc72a2a80cbc4d3b5871 (diff) | |
* Makefile.tpl: Make maybe-check-gcc .PHONY.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 7511bc057..3b316d661 100644 --- a/Makefile.in +++ b/Makefile.in @@ -7816,7 +7816,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 \ |