diff options
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/coq-makefile/native1/_CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/coq-makefile/native1/_CoqProject b/test-suite/coq-makefile/native1/_CoqProject index 847b2c00a9..3dfca7ffc0 100644 --- a/test-suite/coq-makefile/native1/_CoqProject +++ b/test-suite/coq-makefile/native1/_CoqProject @@ -2,6 +2,7 @@ -R theories test -I src -arg -native-compiler +-arg yes src/test_plugin.mlpack src/test.mlg |