gentoo-overlay/media-video/makemkv/files/makemkv-1.7.4-makefile.linux.patch

20 lines
582 B
Diff

--- makemkv_v1.7.4_oss/makefile.linux.orig
+++ makemkv_v1.7.4_oss/makefile.linux
@@ -8,7 +8,7 @@
MOC=moc
endif
-CXXOPTS=-Os -D_GNU_SOURCE -D_linux_
+CXXOPTS=-D_GNU_SOURCE -D_linux_
BUILDINFO_ARCH_NAME=$(shell $(GCC) -dumpmachine)
BUILDINFO_BUILD_DATE=$(shell date)
@@ -38,7 +38,7 @@
install -D -m 644 makemkvgui/src/img/128/mkv_icon.png $(DESTDIR)$(PREFIX)/share/icons/hicolor/128x128/apps/makemkv.png
out/%: out/%.full
- objcopy --strip-all --strip-debug --strip-unneeded --discard-all $< $@
+ objcopy --discard-all $< $@
out/libdriveio.so.0.full:
mkdir -p out