summaryrefslogtreecommitdiff
path: root/driver/pparse.ml
diff options
context:
space:
mode:
Diffstat (limited to 'driver/pparse.ml')
-rw-r--r--driver/pparse.ml4
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;