Searched refs:oldfilename (Results 1 – 2 of 2) sorted by relevance
6 echo 2>&1 usage: $0 newfile oldfilename
1445 char *oldfilename = FileName; local1915 FileName = oldfilename;