1
0
Fork 0

fix temp directory name creation (#4041)

This commit is contained in:
Jan 2017-12-14 18:52:51 +01:00 committed by GitHub
parent c7e9565b4a
commit aa1d57c594
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -49,9 +49,9 @@ mkdir -p build
if [ ! -f build/location ]; then
if [ "$os" == mac ]; then
(ls -l && echo "$os-$edition-$maintainer") | md5 | awk '{print $1}' > build/location
(ls -l && echo "$os-$edition-$maintainer" && head -c 20 /dev/urandom) | md5 | awk '{print $1}' > build/location
else
(ls -l && echo "$os-$edition-$maintainer") | md5sum | awk '{print $1}' > build/location
(ls -l && echo "$os-$edition-$maintainer" && head -c 20 /dev/urandom) | md5sum | awk '{print $1}' > build/location
fi
fi