diff options
Diffstat (limited to 'gdb/common/Makefile.in')
| -rw-r--r-- | gdb/common/Makefile.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gdb/common/Makefile.in b/gdb/common/Makefile.in index 29f18e0..a87f2d1 100644 --- a/gdb/common/Makefile.in +++ b/gdb/common/Makefile.in @@ -91,3 +91,20 @@ clean mostlyclean: distclean maintainer-clean realclean: clean -rm -f *~ -rm -f Makefile config.status config.log + +.PHONY: install +install: all + +.PHONY: install-only +install-only: + +.PHONY: uninstall +uninstall: + +.PHONY: check installcheck info dvi pdf html +.PHONY: install-info install-pdf install-html clean-info +check installcheck: +info dvi pdf html: +install-info install-pdf install-html: +clean-info: + |