Makefile « tacle-bench-lift « 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/tacle-bench-lift/Makefile

blob: 2e1db08076fca535e5a87337a9597f420809b6db (plain)

ALL_CFLAGS:=-include kill_pragma.h
TARGET=lift

include ../rules.mk