--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib-src/profile.c	Mon Aug 13 08:45:50 2007 +0200
@@ -0,0 +1,98 @@
+/* profile.c --- generate periodic events for profiling of Emacs Lisp code.
+ Copyright (C) 1992, 1994 Free Software Foundation, Inc.
+
+ Author: Boaz Ben-Zvi <boaz@lcs.mit.edu>
+
+ This file is part of GNU Emacs.
+
+ GNU Emacs is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 2, or (at your option)
+ any later version.
+
+ GNU Emacs is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with GNU Emacs; see the file COPYING.  If not, write to
+ the Free the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
+
+/* Synched up with: FSF 19.28. */
+/* #### Not sure if this is needed for XEmacs. */
+
+/**
+ **  To be run as an emacs process. Input string that starts with:
+ **    'z' -- resets the watch (to zero).
+ **    'p' -- return time (on stdout) as string with format <sec>.<micro-sec>
+ **    'q' -- exit.
+ **
+ **  abstraction : a stopwatch
+ **  operations: reset_watch, get_time
+ */
+#include <stdio.h>
+#if __STDC__ || defined(STDC_HEADERS)
+#include <stdlib.h>
+#endif
+#include <config.h>
+#include <../src/systime.h>
+
+static struct timeval TV1, TV2;
+static int watch_not_started = 1; /* flag */
+static char time_string[30];
+
+/* Reset the stopwatch to zero.  */
+
+static void
+reset_watch (void)
+{
+  EMACS_GET_TIME (TV1);
+  watch_not_started = 0;
+}
+
+/* This call returns the time since the last reset_watch call.  The time
+   is returned as a string with the format  <seconds>.<micro-seconds> 
+   If reset_watch was not called yet, exit.  */
+
+static char *
+get_time (void)
+{
+  if (watch_not_started)
+    exit (1);  /* call reset_watch first ! */
+  EMACS_GET_TIME (TV2);
+  if (TV1.tv_usec > TV2.tv_usec)
+    {
+      TV2.tv_usec += 1000000;
+      TV2.tv_sec--;
+    }
+  sprintf (time_string, "%lu.%06lu",
+	  (unsigned long) TV2.tv_sec - TV1.tv_sec,
+	  (unsigned long) TV2.tv_usec - TV1.tv_usec);
+  return time_string;
+}
+
+void
+main (void)
+{
+  int c;
+  while ((c = getchar ()) != EOF)
+    {
+      switch (c)
+	{
+	case 'z':
+	  reset_watch ();
+	  break;
+	case 'p':
+	  puts (get_time ());
+	  break;
+	case 'q':
+	  exit (0);
+	}
+      /* Anything remaining on the line is ignored.  */
+      while (c != '\n' && c != EOF)
+	c = getchar ();
+    }
+  exit (1);
+}