mirror of
https://github.com/beard7n/bsdports.git
synced 2026-04-11 11:01:18 +02:00
12 lines
334 B
Plaintext
12 lines
334 B
Plaintext
This patch makes sure that w3m or others will not pollute $HOME/
|
|
|
|
--- ./xmlto.in.orig 2011-11-29 12:49:57.000000000 +0100
|
|
+++ ./xmlto.in 2013-10-07 23:52:57.000000000 +0200
|
|
@@ -611,4 +611,6 @@
|
|
# Extremely verbose
|
|
BASH="${BASH} -x"
|
|
fi
|
|
+make_temp -d temphome HOME || exit 1
|
|
+export HOME
|
|
${BASH} "$FORMAT" post-process || exit 1
|