view tests/refupdate.sh @ 36008:d154d0035cb0

Don't use WidgetDestroy(). (It's not the best idea to call gtk_widget_destroy() there while the object is currently being destroyed.) In order to set the widget pointer to NULL, use gtk_widget_destroyed(). Simply destroy the widget to automatically get the pointer set to NULL then.

#!/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