diff options
Diffstat (limited to 'source4/heimdal_build')
| -rwxr-xr-x | source4/heimdal_build/et_deps.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source4/heimdal_build/et_deps.pl b/source4/heimdal_build/et_deps.pl index d7be6074fe..fef0618b58 100755 --- a/source4/heimdal_build/et_deps.pl +++ b/source4/heimdal_build/et_deps.pl @@ -9,6 +9,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"; +print "\t\@echo \"Compiling error table $file\"\n"; print "\t\@cd $dirname && ../../../bin/compile_et $basename\n\n"; print "$header: $source\n"; |