Only print file names when they are written to disk.
Only print file names when they are written to disk.


Former-commit-id: 02c31a6931122407f56d0e358c8b5b40c7a82d50 [formerly b9be43267792d2f1c4d1c96f07f0f7300e4509f0] [formerly b9be43267792d2f1c4d1c96f07f0f7300e4509f0 [formerly 5b65267cb1e2f72996da7ddac219a98c7b0b0a41]]
Former-commit-id: cc8662525bed4269983b8118b1eca545bd3d1cff
Former-commit-id: de3b5fb0cb12644dd4cd2cf06b078d5c62e3ffaf
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine