From: Megan Wachs <megan@sifive.com>
Date: Fri, 14 Apr 2017 17:26:11 +0000 (-0700)
Subject: debug: checkpoint trying to get 64 bit programs to compile as well.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3429eb68637ff9e25d678d7e2b5f636ab409543c;p=riscv-tests.git

debug: checkpoint trying to get 64 bit programs to compile as well.
---

diff --git a/debug/testlib.py b/debug/testlib.py
index b0a625b..9889bad 100644
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -24,6 +24,9 @@ def compile(args, xlen=32): # pylint: disable=redefined-builtin
     if (xlen == 32):
         cmd.append("-march=rv32imac")
         cmd.append("-mabi=ilp32")
+    else:
+        cmd.append("-march=rv64imac")
+        cmd.append("-mabi=lp64")        
     for arg in args:
         found = find_file(arg)
         if found: