Write index file even if --print-stats is used with 'make'#308

folbricht merged 1 commit intomasterfolbricht/desync:masterfrom

print-stats-write-indexfolbricht/desync:print-stats-write-indexCopy head branch name to clipboard