view tests/refupdate.sh @ 36652:aff6fa4a1f70

Fix issue with font file selector. After selection, playing state doesn't need to be set GUI_STOP. This allows changing the font during playback of a video with immediate effect.
author ib
date Sun, 26 Jan 2014 16:53:21 +0000
parents 6dc79618ec0e
children
line wrap: on
line source

#!/bin/sh
# updates all changed/new results in ref/
find res -name '*.bad' | while read bad_res ; do
  ref_file="ref/${bad_res#res/}"
  ref_file="${ref_file%.bad}"
  mkdir -p "$(dirname "$ref_file")"
  cp "$bad_res" "$ref_file"
done