From e77bde71d0f0da03669e013c0f6f0ade56cb319f Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Wed, 15 May 2013 12:03:52 -0700
Subject: [PATCH] push riscv-tools

---
 riscv-tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv-tools b/riscv-tools
index 0897f7fc..e3c80a86 160000
--- a/riscv-tools
+++ b/riscv-tools
@@ -1 +1 @@
-Subproject commit 0897f7fccfb9ccbf923e67b2d175320239257b2e
+Subproject commit e3c80a865af83a022a796284e02040b0539b835a