changed comments in profile-timer-set/clear: did say ``PC sample'' but should

have said just ``profile'' since PC sampling is not the only use of this timer.
My mistake.  ziggy

diff --git a/v7/src/microcode/prosenv.c b/v7/src/microcode/prosenv.c
index d56e2ef45ede1fd6f75f1156284199a01154c31d..50c75445ccaa16867e29055018df338e5ea0ab95 100644 (file)
--- a/v7/src/microcode/prosenv.c
+++ b/v7/src/microcode/prosenv.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: prosenv.c,v 1.10 1993/08/28 22:46:39 gjr Exp $
+$Id: prosenv.c,v 1.11 1993/08/29 19:54:27 ziggy Exp $
 
 Copyright (c) 1987-1993 Massachusetts Institute of Technology
 
@@ -174,7 +174,7 @@ Both arguments are in units of milliseconds.")
 }
 \f
 DEFINE_PRIMITIVE ("PROFILE-TIMER-CLEAR", Prim_profile_timer_clear, 0, 0,
-  "Turn off the PC sample timer.")
+  "Turn off the profile timer.")
 {
   PRIMITIVE_HEADER (0);
   OS_profile_timer_clear ();
@@ -182,7 +182,7 @@ DEFINE_PRIMITIVE ("PROFILE-TIMER-CLEAR", Prim_profile_timer_clear, 0, 0,
 }
 
 DEFINE_PRIMITIVE ("PROFILE-TIMER-SET", Prim_profile_timer_set, 2, 2,
-  "Set the PC sample timer.\n\
+  "Set the profile timer.\n\
 First arg FIRST says how long to wait until the first interrupt;\n\
 second arg INTERVAL says how long to wait between interrupts after that.\n\
 Both arguments are in units of milliseconds.")