diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/ci.yml | 2 | ||||
| -rwxr-xr-x | scripts/flamegraph.sh | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 205a033..91bdc70 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -107,7 +107,7 @@ jobs: # sudo is used to resolve kernel symbols. Plus, it would be required # if we didn't fix perf_event_paranoid. PATH needs to be preserved # for FlameGraph. - sudo --preserve-env=PATH make debug/flame_graphs + sudo --preserve-env=PATH DEBUGINFOD_URLS='https://debuginfod.ubuntu.com' make debug/flame_graphs - name: Upload flame graphs uses: actions/upload-artifact@v4 with: diff --git a/scripts/flamegraph.sh b/scripts/flamegraph.sh index 3a6c9e2..7baf084 100755 --- a/scripts/flamegraph.sh +++ b/scripts/flamegraph.sh @@ -101,6 +101,7 @@ main() { --freq=99 \ --call-graph dwarf,65528 \ --pid="$pids" \ + ${DEBUGINFOD_URLS:+--debuginfod} \ --no-inherit & record_pid="$!" |