diff options
Diffstat (limited to 'games/mrboom/Makefile.patch')
| -rw-r--r-- | games/mrboom/Makefile.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/games/mrboom/Makefile.patch b/games/mrboom/Makefile.patch new file mode 100644 index 0000000000..0a240e9275 --- /dev/null +++ b/games/mrboom/Makefile.patch @@ -0,0 +1,16 @@ +--- 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) + |