diff options
| author | Maxime Dénès | 2017-06-01 23:33:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-01 23:33:56 +0200 |
| commit | 3748c26914b667f2379374801ebc3f9c8317b4c0 (patch) | |
| tree | cd1b837a09fc4d81882af13648acd82da44b3662 /kernel/nativevalues.ml | |
| parent | 305c8dc1a8518388077c5f2d063f793a2c2e39da (diff) | |
Test-suite: do not test native compiler if disabled by configure.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions