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

blob: fe2f906b0ffbe9f2eb56615a343f870fea10574e (plain)

1
2
3

objdeps: [{name: quicksort_run, compiler: gcc}]
target: quicksort
measures: [quicksort_time]