diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | Makefile.in | 1 |
2 files changed, 0 insertions, 6 deletions
@@ -1,8 +1,3 @@ -Sat Feb 27 21:57:52 1993 Brendan Kehoe (brendan@lisa.cygnus.com) - - * Makefile.in (BASE_FLAGS_TO_PASS): Pass PRMS down, for the PRMS - special install. - Tue Feb 23 14:18:28 1993 Mike Werner (mtw@poseidon.cygnus.com) * configure.in: Added "dejagnu" to hosttools list. diff --git a/Makefile.in b/Makefile.in index b2e68d4..3acc7e9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -228,7 +228,6 @@ $(end-sanitize-chill)\ "LOADLIBES=$(LOADLIBES)" \ "MAKEINFO=$(MAKEINFO)" \ "NM_FOR_TARGET=$(NM_FOR_TARGET)" \ - "PRMS=$(PRMS)" \ "RANLIB_FOR_TARGET=$(RANLIB_FOR_TARGET)" \ "XTRAFLAGS_FOR_TARGET=$(XTRAFLAGS)" \ "exec_prefix=$(exec_prefix)" \ |