diff options
author | Mattias Andrée <maandree@kth.se> | 2023-07-01 08:50:47 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2023-07-01 08:52:27 +0200 |
commit | 0d1a7a2223f50a14c428c4a587edd79170e8bc99 (patch) | |
tree | 7926b8b8b9cf676597a9b7ded2f15dfda023bc73 /Makefile | |
parent | possiblity optimisation of false (diff) | |
download | optimised-true-0d1a7a2223f50a14c428c4a587edd79170e8bc99.tar.gz optimised-true-0d1a7a2223f50a14c428c4a587edd79170e8bc99.tar.bz2 optimised-true-0d1a7a2223f50a14c428c4a587edd79170e8bc99.tar.xz |
Change license to ISC
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
-rw-r--r-- | Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -37,22 +37,17 @@ ifndef GENERIC endif install: true false - mkdir -p -- "$(DESTDIR)$(BINDIR)" "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" + mkdir -p -- "$(DESTDIR)$(BINDIR)" cp true false -- "$(DESTDIR)$(BINDIR)" chmod 755 -- "$(DESTDIR)$(BINDIR)/true" chmod 755 -- "$(DESTDIR)$(BINDIR)/false" - cp COPYING -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" - chmod 644 -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/COPYING" uninstall: -rm -- "$(DESTDIR)$(BINDIR)/true" -rm -- "$(DESTDIR)$(BINDIR)/false" -rmdir -- "$(DESTDIR)$(BINDIR)" - -rm -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/COPYING" - -rmdir "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" clean: -rm true.o true false.o false .PHONY: all clean install uninstall - |