# Last edited on 2021-10-14 12:57:00 by stolfi

# WHICH := bug
# WHICH := gud
# WHICH := inc
WHICH := all

SHOWOP := 

ifeq "/${WHICH}" "/all"
  SHOWOP := "-noshow"
endif
ifeq "/${WHICH}" "/gud"
  SHOWOP := "-noshow"
endif


all:
	run_all_tests.sh ${SHOWOP} ${WHICH}