Created attachment 201056 [details]
patch to fix build with upcoming bash 5.0 update
shells/bash is about to be updated to 5.0. The attached patch fixes build with the new major version.
A commit references this bug:
Date: Sat Jan 12 19:52:12 UTC 2019
New revision: 490078
Patch devel/xtensa-esp32-elf to build with bash 5.0. Tweak Makefile
variable order as per portlint while we're here.
Submitted by: ehaupt
Approved by: ler (mentor, implicit)
Thanks for the patch!