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

about summary refs log tree commit diff stats

path: root/config_macos_aarch64.sh

blob: d990a7d617f261d3c8aac3493180c8969b0fb987 (plain)

1	`exec ./config_simple.sh aarch64-macos --toolprefix "" "$@"`