diff --git a/ChangeLog b/ChangeLog
index 2f8bdf0aed..e600afefbb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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 b2e68d4b0a..3acc7e9417 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)" \