diff options
Diffstat (limited to 'CLPM')
| -rw-r--r-- | CLPM/Util.icl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/CLPM/Util.icl b/CLPM/Util.icl index cea514c..ef8e247 100644 --- a/CLPM/Util.icl +++ b/CLPM/Util.icl @@ -81,9 +81,12 @@ where = receiveRest {resp & rsp_data=resp.rsp_data + toString (fromJust newresp)} chan w syscall :: !String !*World -> *(!Int, !*World) -syscall cmd w = code { - ccall system "s:I:A" -} +syscall cmd w = sys (cmd +++ "\0") w +where + sys :: !String !*World -> *(!Int, !*World) + sys _ _ = code { + ccall system "s:I:A" + } recursivelyRemove :: !FilePath !*World -> *(MaybeErrorString (), !*World) recursivelyRemove fp w |