37     $srcfile =~ s/\\/\//g;	# Unix directory separators please

    37     $srcfile =~ s/\\/\//g;	# Unix directory separators please

    38     $srcfile =~ s/^"(.*)"$/$1/; 	# Remove quotes

    38     $srcfile =~ s/^"(.*)"$/$1/; 	# Remove quotes

    39     $srcfile =~ s/\/\//\//g; 	# Convert // to /

    39     $srcfile =~ s/\/\//\//g; 	# Convert // to /

    40     $srcfile =~ s/^\[0x[0-9a-fA-F]+\]//;	# remove HVID, if present

    40     $srcfile =~ s/^\[0x[0-9a-fA-F]+\]//;	# remove HVID, if present

    41     $srcfile =~ s/mbm_rom$/mbm/i; 	# use original name of derived file

    41     $srcfile =~ s/mbm_rom$/mbm/i; 	# use original name of derived file

    42     $srcfile = lc $srcfile; 	# sigh...

    43     $srcfile = lc $srcfile; 	# sigh...

    43     

    44     

    44     $ibyfile =~ s/\\/\//g;	# Unix directory separators please

    45     $ibyfile =~ s/\\/\//g;	# Unix directory separators please

    45     $ibyfile =~ s/^.*\/rom\/include\///; 	# normalise path to rom\include

    46     $ibyfile =~ s/^.*\/rom\/include\///; 	# normalise path to rom\include

    46     

    47