From 8a991f0b5ff1b62c535ab594efe72cce98de647f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 26 Nov 2020 17:32:31 +0100
Subject: [PATCH] [analysis-scripts] use short options (better compatibility
 with non-GNU tools)

---
 share/analysis-scripts/analysis.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/analysis-scripts/analysis.mk b/share/analysis-scripts/analysis.mk
index 0e4910e1acf..1705e9260f0 100644
--- a/share/analysis-scripts/analysis.mk
+++ b/share/analysis-scripts/analysis.mk
@@ -84,7 +84,7 @@ else
   SED_UNBUFFERED:=sed --unbuffered
 ifneq (,$(wildcard /usr/bin/time))
 define time_with_output
-  /usr/bin/time --format='user_time=%U\nmemory=%M' --output="$(1)"
+  /usr/bin/time -f 'user_time=%U\nmemory=%M' -o "$(1)"
 endef
 else
 define time_with_output
-- 
GitLab