# HG changeset patch # User Rik # Date 1458930178 25200 # Node ID be1c9f1e31aba1014ac6b8727418f9c720cb23a1 # Parent 6187f1d2ca1300a552e42c404e751054a3841dc6 Cast NULL pointer to char, rather than void, when using execl. * toplev.cc (Fsystem): Cast end of argument NULL pointer to (char *) rather than (void *) as recommended by execl man page. diff -r 6187f1d2ca13 -r be1c9f1e31ab libinterp/corefcn/toplev.cc --- a/libinterp/corefcn/toplev.cc Fri Mar 25 10:32:33 2016 -0700 +++ b/libinterp/corefcn/toplev.cc Fri Mar 25 11:22:58 2016 -0700 @@ -1178,7 +1178,7 @@ { // FIXME: should probably replace this call with something portable. execl (SHELL_PATH, "sh", "-c", cmd_str.c_str (), - static_cast (0)); + static_cast (0)); panic_impossible (); }