diff options
| author | Sander Vrijders <[email protected]> | 2016-05-14 18:57:24 +0200 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2016-05-14 18:57:24 +0200 |
| commit | 8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9 (patch) | |
| tree | 023099499dd9cd60107dd9ca75af94e5987754cf /compile_debug.sh | |
| parent | 0cbf6e091c66b7d5004a4fc3b368fc2fcdd4fe8a (diff) | |
| download | ouroboros-8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9.tar.gz ouroboros-8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9.zip | |
lib: Fix header inclusion
This fixes wrong header inclusion that would make programs which are
not developed within ouroboros fail upon compilation, since they would
not find certain headers on their system.
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions