diff --git a/command/printaceconfig.pm b/command/printaceconfig.pm index 04cbe478e..e4979415b 100644 --- a/command/printaceconfig.pm +++ b/command/printaceconfig.pm @@ -254,6 +254,12 @@ sub Run ($) print_file ("$dir/VERSION", 0); last; } + if (defined $dir && -r "$dir/dds/OpenDDSConfig.h") { + print "================ OpenDDSConfig.h ================\n"; + + print_file ("$dir/dds/OpenDDSConfig.h", 0); + last; + } } chdir $current_dir;