--- a/src/Pure/General/path.ML Fri Mar 29 13:48:10 2019 +0100
+++ b/src/Pure/General/path.ML Fri Mar 29 16:53:46 2019 +0100
@@ -33,6 +33,7 @@
val base: T -> T
val ext: string -> T -> T
val split_ext: T -> T * string
+ val exe: T -> T
val expand: T -> T
val file_name: T -> string
val smart_implode: T -> string
@@ -202,6 +203,8 @@
([], _) => (Path [Basic s], "")
| (cs, e) => (Path [Basic (implode (take (length cs - 1) cs))], implode e)));
+val exe = ML_System.platform_is_windows ? ext "exe";
+
(* expand variables *)