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

about summary refs log tree commit diff stats

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

blob: 7e4450ac84d6616df4d4739bc84bfd13ee43e51e (plain)

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

BINARY		= mst
FILES		= main makegraph hash args ssplain

include ../Makefile.plain