Skip to content

Commit

Permalink
Version 1.6.7-beta-1 - Very minor update
Browse files Browse the repository at this point in the history
  • Loading branch information
kekePower committed Dec 3, 2017
1 parent 6670f10 commit 95689da
Showing 1 changed file with 9 additions and 8 deletions.
17 changes: 9 additions & 8 deletions build.leia
Original file line number Diff line number Diff line change
Expand Up @@ -23,14 +23,15 @@ fi
# Usage: clean_exit ${0:t}
function clean_exit () {

# TMP can be /tmp or /usr/tmp or ${HOME}/tmp
# Let's find it and use it
# If $TMP isn't set, we default to /tmp
if [[ $( echo ${TMP} ) ]]; then
TMPDIR=${TMP}
else
TMPDIR=/tmp
fi
# TMP can be /tmp or /usr/tmp or ${HOME}/tmp
# Let's find it and use it
# If $TMP isn't set, we default to /tmp
if [[ $( echo ${TMP} ) ]]; then
TMPDIR=${TMP}
else
TMPDIR=/tmp
fi

# We have to make sure that we get the name "build.leia"
local name
name=$( echo ${1} | cut -d\/ -f1 )
Expand Down

0 comments on commit 95689da

Please sign in to comment.