From efdda56546011b906f8332d25def5a929b14d0b7 Mon Sep 17 00:00:00 2001
From: Nick Withers <nick.withers@anu.edu.au>
Date: Fri, 9 Aug 2013 14:18:17 +1000
Subject: Use $(EXEEXT) [defaults to "exe"] to generate binaries

---
 c/src/lib/libbsp/arm/raspberrypi/make/custom/raspberrypi.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'c/src/lib/libbsp/arm/raspberrypi')

diff --git a/c/src/lib/libbsp/arm/raspberrypi/make/custom/raspberrypi.cfg b/c/src/lib/libbsp/arm/raspberrypi/make/custom/raspberrypi.cfg
index 9751658a6e..6b47ea228e 100644
--- a/c/src/lib/libbsp/arm/raspberrypi/make/custom/raspberrypi.cfg
+++ b/c/src/lib/libbsp/arm/raspberrypi/make/custom/raspberrypi.cfg
@@ -16,7 +16,7 @@ CFLAGS_OPTIMIZE_V = -O2 -g
 # is currently required.
 define bsp-post-link
     $(OBJCOPY) -O binary --strip-all \
-        $(basename $@).exe $(basename $@)$(DOWNEXT)
-    $(SIZE) $(basename $@).exe
+        $(basename $@)$(EXEEXT) $(basename $@)$(DOWNEXT)
+    $(SIZE) $(basename $@)$(EXEEXT)
 endef
 
-- 
cgit v1.2.3