Dropped.
Pushed Yejun's version instead:
[PATCH V5 2/2] configure: replace 'pr' with printf since busybox does not
support pr
On 2019-05-01 18:08 +0200, Alexander Strasser wrote:
> Fixes remaining part of ticket #5680
>
> Signed-off-by: Alexander Strasser <[email protected]>
> ---
> configure | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/configure b/configure
> index 81e3776060..96ada8f636 100755
> --- a/configure
> +++ b/configure
> @@ -503,7 +503,7 @@ log(){
>
> log_file(){
> log BEGIN $1
> - pr -n -t $1 >> $logfile
> + awk '{ printf("%5d\t%s\n", NR, $0) }' $1 >> $logfile
> log END $1
> }
_______________________________________________
ffmpeg-devel mailing list
[email protected]
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
[email protected] with subject "unsubscribe".
