Searched refs:orig_xref_files (Results 1 – 1 of 1) sorted by relevance
632 orig_xref_files=`get_xref_files "$filename_noext"`635 if test -n "$orig_xref_files"; then636 $verbose "Backing up xref files: `echo $orig_xref_files | sed 's|\./||g'`"637 cp $orig_xref_files $tmpdir_bak677 index_files=`echo "$orig_xref_files" \723 $verbose "Original xref files = `echo $orig_xref_files | sed 's|\./||g'`"728 test "x$orig_xref_files" != "x$new_xref_files" && finished=