Searched refs:source_header_file_base (Results 1 – 1 of 1) sorted by relevance
448 source_header_file_base=`echo "$source_header_file" | sed -e 's,^.*/,,'`465 echo "#line 1 \"${source_header_file_base}\""593 echo "#line "`expr $main_class_end_lineno + 1`" \"${source_header_file_base}\""746 new_source_header_file_base=`echo "$source_header_file_base" | sed -e 's,\.oo\.h$,.h,'`