Skip to content

Commit

Permalink
Replace awk with sed in cache-time.t
Browse files Browse the repository at this point in the history
  • Loading branch information
3Rafal committed Nov 7, 2023
1 parent 893f948 commit c8d4bb0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/test-dirs/cache-time.t
Original file line number Diff line number Diff line change
Expand Up @@ -23,15 +23,15 @@ 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


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
Expand Down

0 comments on commit c8d4bb0

Please sign in to comment.