diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 16:45:12 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2020-06-19 16:45:12 +0200 |
| commit | 2ef9ca8d05ec1ab9e511484413b04882fbd90233 (patch) | |
| tree | 45b1b2e02e6d429d5778418a182f5b61b7ebeafe | |
| parent | 3cd1ade78e64a86364d2b3d33ab4e7338f64ab95 (diff) | |
mark build target check as phony
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -52,4 +52,4 @@ clean: distclean: clean rm -rf source -.PHONY: all doc clean distclean +.PHONY: all doc check clean distclean |