*** ./tp/maintain/all_tests.sh.cln Sun Dec 9 08:25:52 2012 --- ./tp/maintain/all_tests.sh Mon Feb 18 10:38:29 2013 *************** *** 21,39 **** elif [ "$command" = 'diff' ]; then if [ z"$test_name" = 'z' ]; then for result in t/results/*/*.pl; do ! diff -a -U 3 $result $result.new done for result in t/results/*/*/res*/; do out=`echo $result | sed 's;res\([^/]*/\)$;out\1;'` ! diff -a -u --exclude=CVS -r $result $out done else for result in t/results/$test_name/*.pl; do ! diff -a -u $result $result.new done for result in t/results/$test_name/*/res*/; do out=`echo $result | sed 's;res\([^/]*/\)$;out\1;'` ! diff -a -u --exclude=CVS -r $result $out done fi else --- 21,39 ---- elif [ "$command" = 'diff' ]; then if [ z"$test_name" = 'z' ]; then for result in t/results/*/*.pl; do ! diff $result $result.new done for result in t/results/*/*/res*/; do out=`echo $result | sed 's;res\([^/]*/\)$;out\1;'` ! diff -r $result $out done else for result in t/results/$test_name/*.pl; do ! diff $result $result.new done for result in t/results/$test_name/*/res*/; do out=`echo $result | sed 's;res\([^/]*/\)$;out\1;'` ! diff -r $result $out done fi else *** ./tp/tests/many_input_files/indices.sh.cln Fri Nov 16 02:06:55 2012 --- ./tp/tests/many_input_files/indices.sh Mon Feb 18 10:48:34 2013 *************** *** 41,47 **** cp -pr "$srcdir/${dir}_res" $staging_dir chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS ! diff -u -r $staging_dir/${dir}_res ${dir} 2>>$logfile > $diffs_dir/$dir.diff dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" --- 41,47 ---- cp -pr "$srcdir/${dir}_res" $staging_dir chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS ! diff -r $staging_dir/${dir}_res ${dir} 2>>$logfile > $diffs_dir/$dir.diff dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" *** ./tp/tests/many_input_files/tex_l2h.sh.cln Sun Dec 2 23:11:48 2012 --- ./tp/tests/many_input_files/tex_l2h.sh Mon Feb 18 10:48:57 2013 *************** *** 76,82 **** chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS #diff -u --exclude=CVS --exclude='*.png' -r "$srcdir/${dir}_res" "${dir}" 2>>$logfile > "$diffs_dir/$dir.diff" ! diff -u -r "$staging_dir/${dir}_res" "$outdir" 2>>$logfile > "$diffs_dir/$dir.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" --- 76,82 ---- chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS #diff -u --exclude=CVS --exclude='*.png' -r "$srcdir/${dir}_res" "${dir}" 2>>$logfile > "$diffs_dir/$dir.diff" ! diff -r "$staging_dir/${dir}_res" "$outdir" 2>>$logfile > "$diffs_dir/$dir.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" *** ./tp/tests/many_input_files/tex_t4ht.sh.cln Sun Dec 2 23:11:48 2012 --- ./tp/tests/many_input_files/tex_t4ht.sh Mon Feb 18 10:49:15 2013 *************** *** 55,61 **** chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS #diff -u --exclude=CVS --exclude='*.png' -r "$srcdir/${dir}_res" "${dir}" 2>>$logfile > "$diffs_dir/$dir.diff" ! diff -u -r "$staging_dir/${dir}_res" "${outdir}" 2>>$logfile > "$diffs_dir/$dir.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" --- 55,61 ---- chmod -R u+w "$staging_dir/${dir}_res" rm -rf $staging_dir/${dir}_res/CVS #diff -u --exclude=CVS --exclude='*.png' -r "$srcdir/${dir}_res" "${dir}" 2>>$logfile > "$diffs_dir/$dir.diff" ! diff -r "$staging_dir/${dir}_res" "${outdir}" 2>>$logfile > "$diffs_dir/$dir.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: $diffs_dir/$dir.diff" *** ./tp/tests/run_parser_all.sh.cln Mon Feb 11 01:17:27 2013 --- ./tp/tests/run_parser_all.sh Mon Feb 18 10:36:55 2013 *************** *** 356,362 **** fi #diff -a -u --exclude=CVS --exclude='*.png' --exclude='*_l2h.css' --exclude='*_1' --exclude='*_2' -r "$res_dir_used" "${outdir}$dir" 2>>$logfile > "$diffs_dir/$diff_base.diff" ! diff -a -u -r "${staging_dir_res}$dir" "${outdir}$dir" 2>>$logfile > "$diffs_dir/$diff_base.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: ${mydir}$diffs_dir/$diff_base.diff" --- 356,362 ---- fi #diff -a -u --exclude=CVS --exclude='*.png' --exclude='*_l2h.css' --exclude='*_1' --exclude='*_2' -r "$res_dir_used" "${outdir}$dir" 2>>$logfile > "$diffs_dir/$diff_base.diff" ! diff -r "${staging_dir_res}$dir" "${outdir}$dir" 2>>$logfile > "$diffs_dir/$diff_base.diff" dif_ret=$? if [ $dif_ret != 0 ]; then echo "D: ${mydir}$diffs_dir/$diff_base.diff"