7 my $basename = basename($file);
9 my $header = "$dirname/$basename"; $header =~ s/\.et$/.h/;
10 my $source = "$dirname/$basename"; $source =~ s/\.et$/.c/;
11 print "$header $source: $file bin/compile_et\n";
12 print "\t\@echo \"Compiling error table $file\"\n";
13 print "\t\@startdir=`pwd` && cd $dirname && " . '$$startdir/bin/compile_et $$startdir/' . "$file\n\n";