From 21a81c5aa04750eb729de8596f85a63411deeea5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Constantin=20F=C3=BCrst?= Date: Tue, 5 Dec 2023 19:52:54 +0100 Subject: [PATCH] do not pretty print the json files produced to save space --- benchmarks/util/task-data.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/util/task-data.hpp b/benchmarks/util/task-data.hpp index dc89fe0..a99542b 100644 --- a/benchmarks/util/task-data.hpp +++ b/benchmarks/util/task-data.hpp @@ -63,7 +63,7 @@ inline void WriteResultLog(const std::vector& args, const std::string& json["path"] = path; json["list"] = args; - os << std::setw(4) << json; + os << json; } inline void ReadWorkDescription(std::vector& args, std::string& path, std::istream& is) {