diff src/toplev.cc @ 3273:eb27ea9b7ff8

[project @ 1999-10-12 02:22:25 by jwe]
author jwe
date Tue, 12 Oct 1999 02:27:27 +0000
parents 4964d5391acc
children 02866242d3ae
line wrap: on
line diff
--- a/src/toplev.cc	Tue Oct 12 02:19:17 1999 +0000
+++ b/src/toplev.cc	Tue Oct 12 02:27:27 1999 +0000
@@ -425,9 +425,12 @@
 		error ("system: fork failed -- can't create child process");
 	      else if (pid == 0)
 		{
-		  system (cmd_str.c_str ());
-		  exit (0);
-		  retval(0) = 0.0;
+		  // XXX FIXME XXX -- should probably replace this
+		  // call with something portable.
+
+		  execl ("/bin/sh", "sh", "-c", cmd_str.c_str (), 0);
+
+		  panic_impossible ();
 		}
 	      else
 		retval(0) = static_cast<double> (pid);