diff options
| author | krasimir <krasimir@chalmers.se> | 2016-02-17 14:52:48 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-02-17 14:52:48 +0000 |
| commit | 8548979d1cc6646c159a9a5fe19095aa753c5975 (patch) | |
| tree | 14e28433e2539afac23b28d1c7d1c9ace8d7cafb /src/compiler/GF/Compile/Compute/Predef.hs | |
| parent | 9e3944951c68dc367bf73e73a40d0c16f4ced0cf (diff) | |
Now we even test in two different places for the JNI headers. Once for Linux and once for Mac OS. This is still not ideal since different Linux distributions might use different locations.
Diffstat (limited to 'src/compiler/GF/Compile/Compute/Predef.hs')
0 files changed, 0 insertions, 0 deletions