comparison src/toplev.cc @ 5510:3fadccb05d5d

[project @ 2005-10-26 17:50:55 by jwe]
author jwe
date Wed, 26 Oct 2005 17:50:56 +0000
parents 3b3e8b7f0800
children 489a475073d7
comparison
equal deleted inserted replaced
5509:b8fc8af2d04d 5510:3fadccb05d5d
478 else if (pid == 0) 478 else if (pid == 0)
479 { 479 {
480 // XXX FIXME XXX -- should probably replace this 480 // XXX FIXME XXX -- should probably replace this
481 // call with something portable. 481 // call with something portable.
482 482
483 execl ("/bin/sh", "sh", "-c", cmd_str.c_str (), 0); 483 execl ("/bin/sh", "sh", "-c", cmd_str.c_str (),
484 static_cast<void *> (0));
484 485
485 panic_impossible (); 486 panic_impossible ();
486 } 487 }
487 else 488 else
488 retval(0) = pid; 489 retval(0) = pid;