Searched refs:EXTENSION (Results 1 – 2 of 2) sorted by relevance
23 EXTENSION=`expr "//$1" : '.*\/.*\.\(t.*\)'`24 [ -z $EXTENSION ] && ( echo "Unable to determine file type"; exit 2 )27 FOLDER=`basename "$1" ".$EXTENSION"`40 if [ "$EXTENSION" = "tar.gz" -o "$EXTENSION" = "tgz" ]; then46 elif [ "$EXTENSION" = "tar.bz2" -o "$EXTENSION" = "tbz2" ]; then
239 const char* EXTENSION = ".log"; in getErrorFile() local259 _makepath( fname, drive, dir, newbase, EXTENSION ); in getErrorFile()267 strcat( fname, EXTENSION ); in getErrorFile()
Completed in 10 milliseconds