# HG changeset patch
# User jwe
# Date 745390237 0
# Node ID 8cf37bf85faf86074e0a5c16abed80ceeb157c9a
# Parent  50af4412a25f2fac346e34c3c5db7a43293d2a7c
[project @ 1993-08-15 04:50:37 by jwe]
(builtin_run_history): New function.

diff -r 50af4412a25f -r 8cf37bf85faf src/t-builtins.cc
--- a/src/t-builtins.cc	Sun Aug 15 04:49:27 1993 +0000
+++ b/src/t-builtins.cc	Sun Aug 15 04:50:37 1993 +0000
@@ -627,6 +627,17 @@
 }
 
 /*
+ * Run previous commands from the history list.
+ */
+tree_constant
+builtin_run_history (int argc, char **argv)
+{
+  tree_constant retval;
+  do_run_history (argc, argv);
+  return retval;
+}
+
+/*
  * Write variables to an output stream.
  */
 tree_constant