Attempt to work around hard-float linking problem

diff --git a/debug/targets.py b/debug/targets.py
index ca075ecfcb776682ece1295fec62ade3ae365b02..7496b48d9eb1d4acc9b403f3725c2a0c9d916ddc 100644 (file)
--- a/debug/targets.py
+++ b/debug/targets.py
@@ -41,7 +41,7 @@ class Target(object):
         testlib.compile(sources +
                 ("programs/entry.S", "programs/init.c",
                     "-I", "../env",
-                    "-march=RV%dIMAF" % self.xlen,
+                    "-march=RV%dIMAFD" % self.xlen,
                     "-T", "targets/%s/link.lds" % (self.directory or self.name),
                     "-nostartfiles",
                     "-mcmodel=medany",