From 95aeb5ed4fbe70249797d4d2ec924e29139cb551 Mon Sep 17 00:00:00 2001
From: MartijnPieterse <martijn.pieterse@grondklont.nl>
Date: Sun, 26 Apr 2015 15:02:47 +0200
Subject: [PATCH] Build fixes for linux 64

---
 build/build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index f1f285eecb9..a25a29a9c78 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -584,8 +584,8 @@
     <!-- Papilio tools -->
 	
 	
-	<copy todir="linux/work/tools/Papilio_Loader/programmer/linux32" file="shared/tools/Papilio_Loader/programmer/linux64/cp"  overwrite="true" />
-    <copy todir="linux/work/hardware/tools/papilio/papilio_loader" file="shared/tools/Papilio_Loader/programmer/linux64/cp" />
+	<copy todir="linux/work/tools/Papilio_Loader/programmer/linux32" file="shared/tools/Papilio_Loader/programmer/linux32/cp"  overwrite="true" />
+    <copy todir="linux/work/hardware/tools/papilio/papilio_loader" file="shared/tools/Papilio_Loader/programmer/linux64/papilio-prog" />
     <chmod perm="755" file="linux/work/hardware/tools/papilio/papilio_loader/cp" />
 	<chmod perm="755" file="linux/work/tools/Papilio_Loader/programmer/linux32/cp" />