mirror of
https://github.com/nasa/trick.git
synced 2024-12-22 14:32:24 +00:00
3 lines
42 B
Makefile
3 lines
42 B
Makefile
|
|
||
|
#TRICK_ICGFLAGS += -units-truth-is-scary
|