diff options
Diffstat (limited to 'driver/pparse.ml')
-rw-r--r-- | driver/pparse.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/pparse.ml b/driver/pparse.ml index da65a5525b..0622ddad9f 100644 --- a/driver/pparse.ml +++ b/driver/pparse.ml @@ -23,7 +23,9 @@ let preprocess sourcefile = None -> sourcefile | Some pp -> let tmpfile = Filename.temp_file "camlpp" "" in - let comm = Printf.sprintf "%s %s > %s" pp sourcefile tmpfile in + let comm = Printf.sprintf "%s %s > %s" + pp (Filename.quote sourcefile) tmpfile + in if Ccomp.command comm <> 0 then begin Misc.remove_file tmpfile; raise Error; |