diff options
Diffstat (limited to 'src/sdp/sdp.d')
| -rwxr-xr-x | src/sdp/sdp.d | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/sdp/sdp.d b/src/sdp/sdp.d index 9d91d10..5a4c2f8 100755 --- a/src/sdp/sdp.d +++ b/src/sdp/sdp.d @@ -403,7 +403,7 @@ void main(string[] args) { writeln("- step0 complete"); } } - if (_manifests.length > 1) { // _manifests[0] initialized dummy element + if (_manifests.length > 1) { // _manifests[0] initialized dummy element foreach(manifest; parallel(_manifests[1..$])) { if (!empty(manifest.src.filename)) { scope(success) { @@ -418,9 +418,10 @@ void main(string[] args) { scope(failure) { debug(checkdoc) { stderr.writefln( - "~ document run failure ~ (%s v%s)\n\t%s", + "~ document run failure ~ (%s v%s)\n\t%s\n%s", __VENDOR__, __VERSION__, - manifest.src.filename + manifest.src.filename, + "------------------------------------------------------------------", ); } } |