diff options
author | Sander Vrijders <[email protected]> | 2016-12-02 21:01:07 +0000 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2016-12-02 21:01:07 +0000 |
commit | cfa405bba7ebfa67f3b7b959a4257c7ed1dd20b2 (patch) | |
tree | e2297913905a6a9b3e89843bf6b4c05f30223d71 /compile_release.sh | |
parent | 08aa32a59162e4383e2782dbf0419c61a0d22524 (diff) | |
parent | f1d67740ee202c6c3af2061df8cafdd265061b59 (diff) | |
download | ouroboros-cfa405bba7ebfa67f3b7b959a4257c7ed1dd20b2.tar.gz ouroboros-cfa405bba7ebfa67f3b7b959a4257c7ed1dd20b2.zip |
Merged in dstaesse/ouroboros/be-pi (pull request #315)
tools: Fix compilation issues on 32 bit machines
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions