diff options
| -rw-r--r-- | include/init.sh | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/include/init.sh b/include/init.sh index ea18cf69..f268c6e6 100644 --- a/include/init.sh +++ b/include/init.sh @@ -108,11 +108,28 @@ xbmk_set_env() fi # parent instance of xbmk, so continue. - # first, set up a unified temporary directory: + export TMPDIR="/tmp" + + xbmklist="`mktemp || err "can't make tmplist"`" || err + x_ rm -f "$xbmklist" + x_ touch "$xbmklist" + for xtmpdir in /tmp/xbmk_*; do + [ -e "$xtmpdir" ] || continue + printf "%s\n" "$xtmpdir" >> "$xbmklist" || \ + err "can't write '$xtmpdir' to file: '$xbmklist'"; : + done + + # set up a unified temporary directory, for common deletion later: export TMPDIR="`mktemp -d -t xbmk_XXXXXXXX || err`" || err xbtmp="$TMPDIR" + while read -r xtmpdir; do + [ "$xtmpdir" = "$xbtmp" ] && err \ + "'$xbtmp' existed previously (possible race condition)"; : + done < "$xbmklist" || err "Couldn't read xbmklist: '$xbmklist'" + x_ rm -f "$xbmklist" + [ -f "$xbmklock" ] && err "'$xbmklock' exists. Is a build running?" printf "%s\n" "$xbtmp" > "$xbmklock" || \ err "cannot create '$xbmklock'"; : |