Searched refs:filename_ext (Results 1 – 1 of 1) sorted by relevance
393 filename_ext=`basename "$command_line_filename"`395 filename_noext=`echo "$filename_ext" | sed 's/\.[^.]*$//'`396 ext=`echo "$filename_ext" | sed 's/^.*\.//'`492 case ${language:-$filename_ext} in594 filename_input=$filename_dir/$filename_ext