Print dds/OpenDDSConfig.h to the config page when available

* command/printaceconfig.pm:
DOCGroup · Jun 10, 2024 · 2605cc8 · iguessthislldo · Jun 10, 2024 · jwillemsen
1 parent 9f05fb5
commit 2605cc8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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;