- if (ExeFile.getSuffix() != "exe") {
- if (OutputFilename == "a.out") {
- OutputFilename = "a.exe";
- } else {
- ExeFile.appendSuffix("exe");
- OutputFilename = ExeFile.toString();
- }
+ if (ExeFile.getSuffix() == "") {
+ ExeFile.appendSuffix("exe");
+ OutputFilename = ExeFile.toString();