19 lines
633 B
Makefile
19 lines
633 B
Makefile
#!/usr/bin/make -f
|
|
|
|
.PHONY : check-metrics-sans check-metrics-sans-x check-metrics-sans-xb check-metrics-sans-xi
|
|
|
|
check-metrics-sans : check-metrics-sans-x check-metrics-sans-xb check-metrics-sans-xi
|
|
|
|
check-metrics-sans-x check-metrics-sans-xb check-metrics-sans-xi : check-metrics-sans-x% :
|
|
awk -f tools/check-metrics.awk sans/salut-sans[0-9][0-9]$*.bdf
|
|
|
|
.PHONY : check-coverage check-coverage-sans check-coverage-mono
|
|
|
|
check-coverage : check-coverage-sans check-coverage-mono
|
|
|
|
check-coverage-sans :
|
|
awk -f tools/check-coverage.awk sans/salut-sans*.bdf
|
|
|
|
check-coverage-mono :
|
|
awk -f tools/check-coverage.awk mono/salut-mono*.bdf
|