diff --git a/hardfloat b/hardfloat
index 83b76aa2..1136e89f 160000
--- a/hardfloat
+++ b/hardfloat
@@ -1 +1 @@
-Subproject commit 83b76aa258dccdf4b7b9f3d4c7756549ed37be9d
+Subproject commit 1136e89f0f4037c31e48aad4b13260ff17039811
diff --git a/project/plugins.sbt b/project/plugins.sbt
index 4f4825c4..e12e95d0 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -3,3 +3,5 @@ resolvers += "jgit-repo" at "http://download.eclipse.org/jgit/maven"
 addSbtPlugin("com.typesafe.sbt" % "sbt-ghpages" % "0.5.3")
 
 addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")
+
+addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.5.0")