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 | 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 | tail -1 | awk '{print $1;}' + > | tail -1 | sed 's/\ ".*\"//' removing Stop server