Commit 50628f37 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Support Debian's package name, too

parent 417b9179
# Detect name of the coverage tool (package named has changed)
RUN_PYTHON_COVERAGE:=$(shell command -v python-coverage 2>/dev/null)
RUN_PYTHON_COVERAGE:=$(shell command -v python3-coverage 2>/dev/null)
RUN_COVERAGE:=$(shell command -v coverage 2>/dev/null)
ifndef RUN_PYTHON_COVERAGE
ifndef RUN_COVERAGE
$(error "Neither 'python-coverage' nor 'coverage' are installed.")
$(error "Neither 'python3-coverage' nor 'coverage' are installed.")
else
COVERAGE:=coverage
endif
else
COVERAGE:=python-coverage
COVERAGE:=python3-coverage
endif
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment