diff options
author | MayorBender | 2019-06-22 10:14:03 -0400 |
---|---|---|
committer | MayorBender | 2019-06-22 10:16:42 -0400 |
commit | d43b385bcd2a5009bd6b27b86f7efc5615d2aba3 (patch) | |
tree | 92cd097f679f98581443f7117a436a85eaabedbe /Makefile.patch | |
parent | 2ac15d21cefda12b5a3d1254d23b630dfe3d5c0e (diff) | |
download | aur-d43b385bcd2a5009bd6b27b86f7efc5615d2aba3.tar.gz |
v9.0.1.r0.g3d83ff0
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 |