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

about summary refs log tree commit diff stats

path: root/config_rv32.sh

blob: a5a5cf1cd0a555eacfa11faefe565c4a816b6363 (plain)

1	`exec ./config_simple.sh rv32-linux --toolprefix riscv64-linux-gnu- "$@"`