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

diff --git a/debug/testlib.py b/debug/testlib.py
index b0a625beeb6a49fd6557ac48a59a652dec439764..9889bad15121c9a5b057e02722b373c022b0cb75 100644 (file)
--- 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: