diff options
| author | Karl Berry <karl@freefriends.org> | 2018-07-16 00:23:50 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-07-16 00:23:50 +0000 |
| commit | 0020e189485e9db6a9d7f550d4d3a916b3f46198 (patch) | |
| tree | ba49d3735e7deafdf23f706dd4151dd62bf21d4a /Build/source/utils/asymptote/config.guess | |
| parent | 93523eeb2f65c26a2dd1e38aa51235a40b28ef63 (diff) | |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@48210 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/asymptote/config.guess')
| -rwxr-xr-x | Build/source/utils/asymptote/config.guess | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/config.guess b/Build/source/utils/asymptote/config.guess index ad5d65eede7..ced991e4177 100755 --- a/Build/source/utils/asymptote/config.guess +++ b/Build/source/utils/asymptote/config.guess @@ -2,7 +2,7 @@ # Attempt to guess a canonical system name. # Copyright 1992-2018 Free Software Foundation, Inc. -timestamp='2018-07-12' +timestamp='2018-07-13' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -95,11 +95,13 @@ fi # Portable tmp directory creation inspired by the Autoconf team. tmp= +# shellcheck disable=SC2172 trap 'test -z "$tmp" || rm -fr "$tmp"' 1 2 13 15 trap 'exitcode=$?; test -z "$tmp" || rm -fr "$tmp"; exit $exitcode' 0 set_cc_for_build() { : "${TMPDIR=/tmp}" + # shellcheck disable=SC2039 { tmp=`(umask 077 && mktemp -d "$TMPDIR/cgXXXXXX") 2>/dev/null` && test -n "$tmp" && test -d "$tmp" ; } || { test -n "$RANDOM" && tmp=$TMPDIR/cg$$-$RANDOM && (umask 077 && mkdir "$tmp" 2>/dev/null) ; } || { tmp=$TMPDIR/cg-$$ && (umask 077 && mkdir "$tmp" 2>/dev/null) && echo "Warning: creating insecure temp directory" >&2 ; } || @@ -1359,6 +1361,7 @@ EOF # "uname -m" is not consistent, so use $cputype instead. 386 # is converted to i386 for consistency with other x86 # operating systems. + # shellcheck disable=SC2154 if test "$cputype" = 386; then UNAME_MACHINE=i386 else |