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

about summary refs log tree commit diff stats

path: root/config_ppc.sh

blob: d597cda59ceba58020a9afec2691b46359c487c9 (plain)

1	`exec ./config_simple.sh ppc-linux --toolprefix powerpc-linux-gnu- "$@"`