فهرست منبع

allow spaces in neko output file

Nicolas Cannasse 18 سال پیش
والد
کامیت
1a8ae69af5
1فایلهای تغییر یافته به همراه2 افزوده شده و 2 حذف شده
  1. 2 2
      genneko.ml

+ 2 - 2
genneko.ml

@@ -747,9 +747,9 @@ let generate file types hres libs =
 	IO.close_out ch;
 	let command cmd = try Sys.command cmd with _ -> -1 in
 	if source then begin
-		if command ("nekoc -p " ^ neko_file) <> 0 then failwith "Failed to print neko code";
+		if command ("nekoc -p \"" ^ neko_file ^ "\"") <> 0 then failwith "Failed to print neko code";
 		Sys.remove neko_file;
 		Sys.rename ((try Filename.chop_extension file with _ -> file) ^ "2.neko") neko_file;
 	end;
-	if command ("nekoc " ^ neko_file) <> 0 then failwith "Neko compilation failure";
+	if command ("nekoc \"" ^ neko_file ^ "\"") <> 0 then failwith "Neko compilation failure";
 	if not source then Sys.remove neko_file