etc/options

 section "PIDE Build"
 
 option pide_reports : bool = true
   -- "report PIDE markup"
 
-option build_pide_reports : bool = false
+option build_pide_reports : bool = true
   -- "report PIDE markup in batch build"
 
 
 section "Editor Session"