Searched defs:OUTLOG (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/bench/ltl2tgba/ | ||
| H A D | Makefile.am | 31 OUTLOG = $(OUTPUTS:=.log) macro |
| /dports/math/py-spot/spot-2.10.2/bench/ltl2tgba/ | ||
| H A D | Makefile.am | 31 OUTLOG = $(OUTPUTS:=.log) macro |