diff options
| author | Wolfgang Müller | 2024-11-14 17:28:56 +0100 |
|---|---|---|
| committer | Wolfgang Müller | 2024-11-14 20:45:03 +0100 |
| commit | a43a295335f24bcb924e96718edcdd64a08f3597 (patch) | |
| tree | e0eb54b6c631149f5a68aa592549154bd278e0ed /frontend | |
| parent | 48367ab281b28a5084ef0861affa436402ec990d (diff) | |
| download | hircine-a43a295335f24bcb924e96718edcdd64a08f3597.tar.gz | |
build: Mark coverage as PHONY target
Otherwise make will refuse to regenerate coverage information if the
coverage/ directory already exists.
Diffstat (limited to 'frontend')
0 files changed, 0 insertions, 0 deletions