summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_lib.lem
diff options
context:
space:
mode:
authorAlex Richardson2020-05-15 13:51:32 +0100
committerAlex Richardson2020-05-15 13:52:03 +0100
commit402fe1f632f7e6075e0810dcff2d8432b65352d2 (patch)
tree044edd4cdd7897c7da1e9ce8ac41facae78ece06 /src/lem_interp/interp_lib.lem
parentdc5a39649116c7fd76a024d069707f8b3aa7e201 (diff)
Add static to registers if -static is passed
This was the final missing step for me to link two almost identical C files generated from sail into the same library.
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions