Makefile.plain « treeadd « ccured_olden « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/ccured_olden/treeadd/Makefile.plain

blob: 5083bd761f5a6c4a2add3085b7615bd6bfeceaef (plain)

# /* For copyright information, see olden_v1.0/COPYRIGHT */

BINARY		= treeadd
FILES		= par-alloc node args ssplain

include ../Makefile.plain