diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-02-26 15:21:27 -0800 |
---|---|---|
committer | Andrew Waterman <aswaterman@gmail.com> | 2018-03-06 11:46:53 -0600 |
commit | c1fda877781e5ce5c8c586affc123fe65bd174d9 (patch) | |
tree | a1a922055e93256456b3338380326256d87d1b36 /softfloat | |
parent | e81425b8d6dc6a1d71ae681cb8239f4eeda822ea (diff) | |
download | spike-c1fda877781e5ce5c8c586affc123fe65bd174d9.zip spike-c1fda877781e5ce5c8c586affc123fe65bd174d9.tar.gz spike-c1fda877781e5ce5c8c586affc123fe65bd174d9.tar.bz2 |
Fix a missed header file in the softfloat include install.
Diffstat (limited to 'softfloat')
-rw-r--r-- | softfloat/softfloat.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/softfloat/softfloat.mk.in b/softfloat/softfloat.mk.in index 77c1357..ff7637b 100644 --- a/softfloat/softfloat.mk.in +++ b/softfloat/softfloat.mk.in @@ -2,6 +2,7 @@ softfloat_subproject_deps = softfloat_hdrs = \ internals.h \ + platform.h \ primitives.h \ primitiveTypes.h \ softfloat.h \ |