changeset 34444:bf52ce065c12

Add a script to help update the references.
author reimar
date Sun, 08 Jan 2012 10:44:00 +0000
parents bad0e4dbfbb6
children 1b8e44d85ef7
files tests/refupdate.sh
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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