From d234fa20f8d122134c94a3fd560ceca72b823bce Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Thu, 18 Apr 2019 13:27:56 +0200
Subject: [PATCH] tools/build.sh: Remove unused home directory

Do not create a $HOME. It is not used, because the build scripts,
cloned from TEMPLATE.sh, also create a empty HOME and overwrite
the environment variable again.

Fixes #54.
---
 tools/build.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/tools/build.sh b/tools/build.sh
index d977ee1..c20d6db 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -59,9 +59,6 @@ if [ -n "$opt_purge" ]; then
 	test "$(stat -c %U "/pkg/$PKG")" = "build" || log_cmd chown build:build "/pkg/$PKG"
 fi
 
-export HOME=/scratch/local/build_home;
-mkdir -p $HOME; chown build:build $HOME
-
 chmod a+rx "$PKG.build.sh"
 
 echo "sudo -u build -i ./$PKG.build.sh </dev/null 2>&1 | tee $PKG.build.log"