Makefile.ss « 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.ss

blob: 92ac11a17e2a4bd3996111f8ea691dbf5a57feb9 (plain)

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

BINARY		= mst
FILES		= main makegraph hash args ssplain

include ../Makefile.ss