Skip to content

makefile: make it easier to find log#2167

Merged
maliberty merged 1 commit intoThe-OpenROAD-Project:masterfrom
Pinata-Consulting:makefile-easier-tail-log
Jul 22, 2024
Merged

makefile: make it easier to find log#2167
maliberty merged 1 commit intoThe-OpenROAD-Project:masterfrom
Pinata-Consulting:makefile-easier-tail-log

Conversation

@oharboe
Copy link
Collaborator

@oharboe oharboe commented Jul 21, 2024

Use case is to follow logs of a running process on some computer without knowing the folder name of that process:

  • run ps -Af | grep openroad
  • run tail -f <full path>/5_3_route.tmp.log

Use case is to follow logs of a running process on some computer
without knowing the folder name of that process:

- run ps -Af | grep openroad
- run tail -f <full path>/5_3_route.tmp.log

Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
@oharboe oharboe requested a review from maliberty July 21, 2024 10:03
oharboe added a commit to The-OpenROAD-Project/bazel-orfs that referenced this pull request Jul 21, 2024
with The-OpenROAD-Project/OpenROAD-flow-scripts#2167

Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
oharboe added a commit to The-OpenROAD-Project/bazel-orfs that referenced this pull request Jul 21, 2024
with The-OpenROAD-Project/OpenROAD-flow-scripts#2167

Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
@maliberty maliberty merged commit 6604ee3 into The-OpenROAD-Project:master Jul 22, 2024
@oharboe oharboe deleted the makefile-easier-tail-log branch July 23, 2024 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants