From 86943bb69b017553a63c9a106de251cd02a26235 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Wed, 19 Mar 2008 23:39:28 +0000
Subject: [PATCH] use a.exe on windows

[r18998]
---
 main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/main.c b/main.c
index 6d7d04e..65ec298 100644
--- a/main.c
+++ b/main.c
@@ -655,7 +655,11 @@ int main(int argc, char **argv)
 			outname = outnamebuf;
 			break;
 		case CompileAssembleLink:
+#ifdef _WIN32
+			outname = "a.exe";
+#else
 			outname = "a.out";
+#endif
 			break;
 		}
 	}
-- 
2.20.1