aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/ci.yml2
-rwxr-xr-xscripts/flamegraph.sh1
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="$!"