Searched refs:WISDOM_TIME (Results 1 – 8 of 8) sorted by relevance
162 WISDOM_TIME=12 # default to 12-hour limit, i.e. overnight macro163 WISDOM_FLAGS=--verbose --canonical --time-limit=$(WISDOM_TIME)
549 WISDOM_TIME = 12 # default to 12-hour limit, i.e. overnight550 WISDOM_FLAGS = --verbose --canonical --time-limit=$(WISDOM_TIME)