index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
bug_13821_native_command_line_warn.v
blob: a28210b6c2207b1cadbef8dff6fa4b823de3cde9 (
plain
)
1
(
*
-*-
coq
-
prog
-
args:
(
"-w"
"-native-compiler-disabled"
"-native-compiler"
"ondemand"
);
-*-
*
)
