From 1e5b2f658f81512ee962cd8dca15f5938e238701 Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Sun, 7 Sep 2014 23:45:47 -0700
Subject: [PATCH] remove existing hardfloat repository

---
 .gitmodules | 3 ---
 hardfloat   | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 hardfloat

diff --git a/.gitmodules b/.gitmodules
index a88351c9..b900a481 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,6 +13,3 @@
 [submodule "chisel"]
 	path = chisel
 	url = git@github.com:ucb-bar/chisel.git
-[submodule "hardfloat"]
-	path = hardfloat
-	url = git@github.com:ucb-bar/hardfloat.git
diff --git a/hardfloat b/hardfloat
deleted file mode 160000
index 1c8a6e68..00000000
--- a/hardfloat
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1c8a6e6815eadebc1592c65e10a2ba87ecabb3c6