Merge branch 'release-4-0-x' into 'release-4-0-x'
Fix configure for uncommon shells
See merge request !829 (merged)
(cherry picked from commit 2f198b73)
38c1eb07 Fix configure for uncommon shells
Fix configure for uncommon shells
See merge request !829 (merged)
(cherry picked from commit 2f198b73)
38c1eb07 Fix configure for uncommon shells