diff options
| -rwxr-xr-x | source/heimdal_build/et_deps.pl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/source/heimdal_build/et_deps.pl b/source/heimdal_build/et_deps.pl index fef0618b586..82bea621ae6 100755 --- a/source/heimdal_build/et_deps.pl +++ b/source/heimdal_build/et_deps.pl @@ -8,8 +8,7 @@ my $basename = basename($file); my $header = $file; $header =~ s/\.et$/.h/; my $source = $file; $source =~ s/\.et$/.c/; -print "$source: $file bin/compile_et\n"; +my $short_header = $header; $short_header =~ s/(.*)\///g; +print "$short_header $header $source: $file bin/compile_et\n"; print "\t\@echo \"Compiling error table $file\"\n"; print "\t\@cd $dirname && ../../../bin/compile_et $basename\n\n"; - -print "$header: $source\n"; |