# HG changeset patch
# User reimar
# Date 1326019440 0
# Node ID bf52ce065c1256c743f350aee37032de0d36ead1
# Parent  bad0e4dbfbb653853db18e9fae0ff83cdf8251e4
Add a script to help update the references.

diff -r bad0e4dbfbb6 -r bf52ce065c12 tests/refupdate.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/refupdate.sh	Sun Jan 08 10:44:00 2012 +0000
@@ -0,0 +1,8 @@
+#!/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