File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -614,6 +614,24 @@ function generate_sources_file() // {{{
614
614
'scripts/file-entities.php.in ' ,
615
615
);
616
616
617
+ // Show local repository status to facilitate debug
618
+
619
+ $ repos = array ();
620
+ $ repos ['doc-base ' ] = $ ac ['basedir ' ];
621
+ $ repos ['en ' ] = "{$ ac ['rootdir ' ]}/ {$ ac ['EN_DIR ' ]}" ;
622
+ $ repos [$ ac ['LANG ' ]] = "{$ ac ['rootdir ' ]}/ {$ ac ['LANG ' ]}" ;
623
+ $ repos = array_unique ($ repos );
624
+
625
+ foreach ($ repos as $ name => $ path )
626
+ {
627
+ $ output = str_pad ( "$ name: " , 10 );
628
+ $ output .= `cd $ path; git rev-parse HEAD; `;
629
+ $ output .= `cd $ path; git status -s; `;
630
+ $ output .= `cd $ path; git for-each-ref --format="%(push:track)" refs/heads `;
631
+ echo trim ($ output ) . "\n" ;
632
+ }
633
+ echo "\n" ;
634
+
617
635
foreach ($ infiles as $ in ) {
618
636
$ in = chop ("{$ ac ['basedir ' ]}/ {$ in }" );
619
637
You can’t perform that action at this time.
0 commit comments