Closed na4zagin3 closed 4 years ago
This PR adds prefix to each line of output from external commands (i.e., make and satysfi) like this:
satysfi err> satysfi err> Command invoked: satysfi err> satysfi -C @@build_temp_dir@@ doc-grcnum.saty -o doc-grcnum-ja.pdf satysfi out> INPUT=doc-grcnum.saty satysfi out> OUTPUT=doc-grcnum-ja.pdf satysfi err> doc-grcnum.saty -> doc-grcnum-ja.pdf satysfi err> make out> Target: build-doc make out> Files under $SATYSFI_RUNTIME make out> ============================== make out> .:
This PR adds prefix to each line of output from external commands (i.e., make and satysfi) like this: