compile_ccomp.sh « BearSSL « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/BearSSL/compile_ccomp.sh

blob: 2ce6ccf641ef185e3bc0ffd0bdcd2d60a555f078 (plain)

1	`make CONF=KalrayCompCert build/testcrypto $@ # build/testspeed`