make.proto « heapsort « 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/heapsort/make.proto

blob: 0b5972d6d2bf52098f4dcdeed15f2b231b3f8d6e (plain)

1
2
3

objdeps: [{name: heapsort_run, compiler: gcc}]
target: heapsort
measures: [heapsort_time]