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

about summary refs log tree commit diff stats

path: root/config_armhf.sh

blob: 8a1302bd8ad753c7d416dc2754d1531bcd964020 (plain)

1	`exec ./config_simple.sh arm-eabihf --toolprefix arm-linux-gnueabihf- "$@"`