diff options
author | Karl Berry <karl@freefriends.org> | 2020-08-18 23:53:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-08-18 23:53:42 +0000 |
commit | 12b9c6353ba918afe0584c9ce2e53fbfd230319f (patch) | |
tree | 29208ed0a9281cd3014b642184779fb725ab64d3 /Build/source/build-aux/config.sub | |
parent | 9ea85778e1017aabcd4c88ae825f3e1bb2a1a7ce (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@56131 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux/config.sub')
-rwxr-xr-x | Build/source/build-aux/config.sub | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub index 3d9a8dc3d5a..0753e308458 100755 --- a/Build/source/build-aux/config.sub +++ b/Build/source/build-aux/config.sub @@ -2,7 +2,7 @@ # Configuration validation subroutine script. # Copyright 1992-2020 Free Software Foundation, Inc. -timestamp='2020-07-10' +timestamp='2020-08-17' # 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 @@ -1278,7 +1278,7 @@ esac # Decode manufacturer-specific aliases for certain operating systems. -if [ x$basic_os != x ] +if test x$basic_os != x then # First recognize some ad-hoc caes, or perhaps split kernel-os, or else just |