default:
	gprbuild -p -Pcli -cargs $(COVERAGE_CARGS) -largs $(COVERAGE_LARGS)
