diff options
author | Karl Berry <karl@freefriends.org> | 2018-01-02 01:22:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-01-02 01:22:47 +0000 |
commit | a81f9d277e3c0d9f7f4720f250c9824478808a46 (patch) | |
tree | e282515ce3db74461428beb115959872d7463584 /Build/source/build-aux | |
parent | 9d9da4a3b1d34a6490cde4ed3e75b6f5394a3a18 (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@46191 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
-rwxr-xr-x | Build/source/build-aux/config.sub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub index 00f68b8e5f3..4fa505b51aa 100755 --- a/Build/source/build-aux/config.sub +++ b/Build/source/build-aux/config.sub @@ -1416,7 +1416,7 @@ case $os in | -morphos* | -superux* | -rtmk* | -rtmk-nova* | -windiss* \ | -powermax* | -dnix* | -nx6 | -nx7 | -sei* | -dragonfly* \ | -skyos* | -haiku* | -rdos* | -toppers* | -drops* | -es* \ - | -onefs* | -tirtos* | -phoenix* | -fuchsia* | -redox*) + | -onefs* | -tirtos* | -phoenix* | -fuchsia* | -redox* | -bme*) # Remember, each alternative MUST END IN *, to match a version number. ;; -qnx*) |