Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid bash-specific syntax in makefile
This fixes the problem described at [1] by replacing bash-specific array syntax with a simpler sh-friendly for loop. [1]: #3718 (review)
- Loading branch information