diff options
author | Mattias Andrée <maandree@kth.se> | 2022-01-01 10:26:11 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2022-01-01 10:26:50 +0100 |
commit | c43c1116484675917d21c8410ae93b91c6847b9a (patch) | |
tree | 8512ba170e8e87e8ad30c3ed3f75a90861a20e84 /Makefile | |
parent | m (diff) | |
download | makel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.gz makel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.bz2 makel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.xz |
Rename to mklint to avoid confusion with pre-existing tool with opposite goal
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
-rw-r--r-- | Makefile | 18 |
1 files changed, 9 insertions, 9 deletions
@@ -4,34 +4,34 @@ CONFIGFILE = config.mk include $(CONFIGFILE) OBJ =\ - makelint.o\ + mklint.o\ ui.o HDR =\ common.h -all: makelint +all: mklint $(OBJ): $(HDR) .c.o: $(CC) -c -o $@ $< $(CFLAGS) $(CPPFLAGS) -makelint: $(OBJ) +mklint: $(OBJ) $(CC) -o $@ $(OBJ) $(LDFLAGS) -install: makelint +install: mklint mkdir -p -- "$(DESTDIR)$(PREFIX)/bin" mkdir -p -- "$(DESTDIR)$(MANPREFIX)/man1/" - cp -- makelint "$(DESTDIR)$(PREFIX)/bin/" - cp -- makelint.1 "$(DESTDIR)$(MANPREFIX)/man1/" + cp -- mklint "$(DESTDIR)$(PREFIX)/bin/" + cp -- mklint.1 "$(DESTDIR)$(MANPREFIX)/man1/" uninstall: - -rm -f -- "$(DESTDIR)$(PREFIX)/bin/makelint" - -rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/makelint.1" + -rm -f -- "$(DESTDIR)$(PREFIX)/bin/mklint" + -rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/mklint.1" clean: -rm -f -- *.o *.a *.lo *.su *.so *.so.* *.gch *.gcov *.gcno *.gcda - -rm -f -- makelint + -rm -f -- mklint .SUFFIXES: .SUFFIXES: .o .c |