Lines Matching refs:REF
8 # REF is the reference file against which to compare
10 # echo "...test_diffs $NEW vs $REF"
18 sed -e "s,$NEW,$REF," \
32 if test ! -f "$REF"
34 mv "$CMP" "$REF"
35 echo "...saved $REF"
36 elif ( cmp -s "$REF" "$CMP" )
38 echo "...ok $REF"
41 echo "...diff $REF"
42 diff -c "$REF" "$CMP"
57 REF=$REF_DIR/$root$type
79 REF=$REF_DIR/$root$type
109 REF=$REF_DIR/$root$name
273 REF=${REF_DIR}/${root}${opt2}${type}
295 REF=${REF_DIR}/$NEW
Indexes created Sat Apr 18 00:22:28 UTC 2026