diff options
Diffstat (limited to 'Makefile.patch')
-rw-r--r-- | Makefile.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile.patch b/Makefile.patch new file mode 100644 index 000000000000..cd1c8548a726 --- /dev/null +++ b/Makefile.patch @@ -0,0 +1,13 @@ +--- a/Makefile ++++ b/Makefile +@@ -46,10 +46,6 @@ + cp -r $(filter-out deb, $(wildcard build/*)) $(DESTDIR) + cp -r $(MANS) $(DESTDIR)/$(MANDIR) + +-ifeq ($(OS),Linux) +- ldconfig $(DESTDIR)/lib +-endif +- + .PHONY: clean + clean: + rm -rf build |