mirror of
https://github.com/nasa/trick.git
synced 2024-12-20 21:53:10 +00:00
3 lines
42 B
Makefile
3 lines
42 B
Makefile
|
|
||
|
#TRICK_ICGFLAGS += -units-truth-is-scary
|