diff src/toplev.cc @ 1965:01e3ed56c415

[project @ 1996-02-17 02:02:50 by jwe]
author jwe
date Sat, 17 Feb 1996 02:03:11 +0000
parents 0e6a0a271998
children 003570e69c7b
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -332,7 +332,7 @@
 
   int argc = args.length () + 1;
 
-  string_vector argv = make_argv (args, "casesen");
+  string_vector argv = args.make_argv ("casesen");
 
   if (error_state)
     return retval;
@@ -598,6 +598,12 @@
 
 // Execute a shell command.
 
+static void
+cleanup_iprocstream (void *p)
+{
+  delete (iprocstream *) p;
+}
+
 DEFUN (system, args, nargout,
   "system (string [, return_output]): execute shell commands")
 {