[FFmpeg-cvslog] Merge commit 'bf12a81cc67d62dd45c58e29fa0e9177331cc151'

[Hendrik Leppkes]

ffmpeg | branch: master | Hendrik Leppkes <h.leppkes at gmail.com> | Tue Dec  8 09:45:24 2015 +0100| [d1b7cafae149aea58a9c04c77e26d6a27d783224] | committer: Hendrik Leppkes

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 at gmail.com>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=d1b7cafae149aea58a9c04c77e26d6a27d783224
---