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

about summary refs log tree commit diff stats

path: root/config_arm.sh

blob: eed55fabf901e5e9263e99fe4ac7e98628b18567 (plain)

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