annotate tests/refupdate.sh @ 34895:3688864260e8

Use our own mp_dirname/mp_basename instead of system dirname/basename.
author reimar
date Sat, 02 Jun 2012 16:35:44 +0000
parents 6dc79618ec0e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
34444
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
1 #!/bin/sh
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
2 # updates all changed/new results in ref/
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
3 find res -name '*.bad' | while read bad_res ; do
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
4 ref_file="ref/${bad_res#res/}"
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
5 ref_file="${ref_file%.bad}"
34448
6dc79618ec0e Fix directory creation in refupdate script.
reimar
parents: 34444
diff changeset
6 mkdir -p "$(dirname "$ref_file")"
34444
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
7 cp "$bad_res" "$ref_file"
bf52ce065c12 Add a script to help update the references.
reimar
parents:
diff changeset
8 done