diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-02-02 22:47:23 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:31 +0200 |
commit | f9bd5c6524896c7eb447a638009c55bb061a6a29 (patch) | |
tree | b5165204194148f1208d5445c6abbf11ae12613e | |
parent | 628071290756dc92152bbfda3a61d5db055f88b5 (diff) |
2006-02-02 Thomas Schwinge <tschwinge@gnu.org>
* Makerules.in: Move a comment ...
* Makefile.in: ... here.
-rw-r--r-- | Makerules.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makerules.in b/Makerules.in index b556363..6973a48 100644 --- a/Makerules.in +++ b/Makerules.in @@ -107,7 +107,6 @@ ifneq ($(no_deps),t) -include $(subst _server.o,.migs_d,$(servers)) /dev/null -include $(subst _server.o,.migsh_d,$(servers)) /dev/null -# vm_user.o fits the pattern, but is not actually a MiG-related file. -include $(subst _user.o,.migu_d,$(users)) /dev/null -include $(subst _user.o,.miguh_d,$(users)) /dev/null |