diff options
Diffstat (limited to 'games/mrboom/Makefile.patch')
| -rw-r--r-- | games/mrboom/Makefile.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/games/mrboom/Makefile.patch b/games/mrboom/Makefile.patch deleted file mode 100644 index 0a240e9275..0000000000 --- a/games/mrboom/Makefile.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- Makefile.orig 2020-05-09 23:50:56.489976161 +0200 -+++ Makefile 2020-05-09 23:51:30.250975839 +0200 -@@ -500,11 +500,11 @@ - rm -f *.d */*.d */*/*.d */*/*/*.d */*/*/*/*.d */*/*/*/*/*.d - - strip: -- $(STRIP) $(TARGET_NAME).out -+ $(STRIP) $(TARGET_NAME) - - install: strip - $(INSTALL) -m 0755 -d $(DESTDIR)$(PREFIX)/$(BINDIR) -- $(INSTALL) -m 555 $(TARGET_NAME).out $(DESTDIR)$(PREFIX)/$(BINDIR)/$(TARGET_NAME) -+ $(INSTALL) -m 555 $(TARGET_NAME) $(DESTDIR)$(PREFIX)/$(BINDIR)/$(TARGET_NAME) - $(INSTALL) -m 0755 -d $(DESTDIR)$(PREFIX)/$(MANDIR) - $(INSTALL) -m 644 Assets/$(TARGET_NAME).6 $(DESTDIR)$(PREFIX)/$(MANDIR) - |