config_kvx.sh - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/config_kvx.sh

blob: 289f6f0aaeb8e3662677ca85d402ecca3bf0c1c8 (plain)

1	`exec ./config_simple.sh kvx-cos -use-external-Flocq "$@"`