Searched refs:relfile_i (Results 1 – 1 of 1) sorted by relevance
568 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \570 …ir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9…571 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \