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

about summary refs log tree commit diff stats

path: root/config_rv64.sh

blob: e95f8a70ed75f3f91aaa9c62449d7eebbaaba2a0 (plain)

1	`exec ./config_simple.sh rv64-linux --toolprefix riscv64-unknown-elf- "$@"`