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

blob: 7c4248bffdd6b2080b6a7f8efbaf0c0540dd6473 (plain)

1 2	`sources: example4shorter.c genann.c target: genann4`