Merge commit 'bf12a81cc67d62dd45c58e29fa0e9177331cc151'
* commit 'bf12a81cc67d62dd45c58e29fa0e9177331cc151': configure: Replace `pr` since it is not provided by busybox Not merged as requested by Timothy Gu. Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>
This commit is contained in:
commit
d1b7cafae1