From c8d4bb037b768b9efd17f4721009f63fafc8dffb Mon Sep 17 00:00:00 2001
From: Rafal Gwozdzinski <rafal@gwozdzinski.com>
Date: Tue, 7 Nov 2023 15:40:58 +0100
Subject: [PATCH] Replace awk with sed in cache-time.t

---
 tests/test-dirs/cache-time.t | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/test-dirs/cache-time.t b/tests/test-dirs/cache-time.t
index 8a050eb2fe..4ec1bd3c65 100644
--- a/tests/test-dirs/cache-time.t
+++ b/tests/test-dirs/cache-time.t
@@ -23,7 +23,7 @@ When cache time is set to large value, we keep the cache
   $ $MERLIN server errors -log-file merlin_logs -cache-time 45 \
   > -filename main.ml 1> /dev/null <main.ml
   $ cat merlin_logs | grep -A1 "# 0.01 File_cache(Cmi_cache) - flush" \
-  > | tail -1 | awk '{print $1;}'
+  > | tail -1 | sed 's/\ ".*\"//'
   keeping
 
 
@@ -31,7 +31,7 @@ When cache time is set to 0, file cache gets flushed
   $ $MERLIN server errors -log-file merlin_logs -cache-time 0 \
   > -filename main.ml 1> /dev/null <main.ml
   $ cat merlin_logs | grep -A1 "# 0.01 File_cache(Cmi_cache) - flush" \
-  > | tail -1 | awk '{print $1;}'
+  > | tail -1 | sed 's/\ ".*\"//'
   removing
 
 Stop server