From 40cac3c4013a940660e413d71573fe737689f126 Mon Sep 17 00:00:00 2001
From: David Banks <dave@hoglet.com>
Date: Thu, 15 Feb 2018 13:05:49 +0000
Subject: [PATCH] Updated Makefile for 64-bit build

Change-Id: Ieaa309d30463209cd0e9c1aa6e6b23cbec8e92b0
---
 target/common/Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/target/common/Makefile.inc b/target/common/Makefile.inc
index f240ac2..e3ca449 100644
--- a/target/common/Makefile.inc
+++ b/target/common/Makefile.inc
@@ -2,7 +2,7 @@ VPATH      = $(ROOT)/firmware
 
 XILINX      ?= /opt/Xilinx/14.7
 
-PATH       := $(PATH):${XILINX}/ISE_DS/ISE/bin/lin:${PAPILIO}/linux32
+PATH       := $(PATH):${XILINX}/ISE_DS/ISE/bin/lin64:${PAPILIO}/linux64
 SHELL      := env PATH=$(PATH) /bin/bash
 
 # Frequency of the AVR CPU