changeset 75273 | f1c6e778e412 |
parent 75230 | bbbee54b1198 |
child 75312 | e641ac92b489 |
--- a/src/Pure/General/path.scala Sat Mar 12 20:56:03 2022 +0100 +++ b/src/Pure/General/path.scala Sat Mar 12 23:21:28 2022 +0100 @@ -248,8 +248,8 @@ prfx + Path.basic(s + "~~") } - def platform_exe: Path = - if (Platform.is_windows) ext("exe") else this + def exe: Path = ext("exe") + def platform_exe: Path = if (Platform.is_windows) exe else this private val Ext = new Regex("(.*)\\.([^.]*)")