diff options
| author | Omar Polo <op@omarpolo.com> | 2023-06-24 13:10:31 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2023-06-24 13:10:31 +0000 |
| commit | 24f644dbb64379875f31f8b975c769371bbad164 (patch) | |
| tree | fc9825d0b0650a63cab8efeac71671083067d6b0 /Makefile | |
| parent | 3a877237a7cea7d456cf85b64daff96881116dc4 (diff) | |
there's no more any `static' target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -48,7 +48,7 @@ DISTNAME = gmid-${VERSION} # -- public targets -- all: config.mk gmid ge gg -.PHONY: all tags static clean cleanall test regress install +.PHONY: all tags clean cleanall test regress install config.mk config.h: configure @echo "$@ is out of date; please run ./configure" |