From 1c6b219b9122ee8143055c75f1558709c91da3e2 Mon Sep 17 00:00:00 2001 From: Mike McLean Date: Nov 02 2017 22:53:48 +0000 Subject: allow make sources to work without coverage present --- diff --git a/Makefile b/Makefile index 7688f84..00364ac 100644 --- a/Makefile +++ b/Makefile @@ -59,7 +59,7 @@ clean: rm -f *.o *.so *.pyc *~ koji*.bz2 koji*.src.rpm rm -rf koji-$(VERSION) for d in $(SUBDIRS); do make -s -C $$d clean; done - coverage erase + coverage erase ||: git-clean: @git clean -d -q -x