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

about summary refs log tree commit diff stats

path: root/config_ppc64.sh

blob: df31c18f6d58b273092edc2c5198a3b2e410981f (plain)

1	`exec ./config_simple.sh ppc64-linux --toolprefix powerpc64-linux-gnu- "$@"`