|
@@ -757,7 +757,7 @@ let generate file types hres libs =
|
|
end;
|
|
end;
|
|
w();
|
|
w();
|
|
let c = Plugin.timer "neko compilation" in
|
|
let c = Plugin.timer "neko compilation" in
|
|
- if command ("nekoc " ^ (if !Plugin.times then "-time " else "") ^ "\"" ^ neko_file ^ "\"") <> 0 then failwith "Neko compilation failure";
|
|
|
|
|
|
+ if command ("nekoc \"" ^ neko_file ^ "\"") <> 0 then failwith "Neko compilation failure";
|
|
c();
|
|
c();
|
|
let output = Filename.chop_extension neko_file ^ ".n" in
|
|
let output = Filename.chop_extension neko_file ^ ".n" in
|
|
if output <> file then Sys.rename output file;
|
|
if output <> file then Sys.rename output file;
|