...

oxidecomputer · Jul 19, 2024 · fedb88a · fedb88a
1 parent c02b84b
commit fedb88a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/buildomat/jobs/p5p.sh b/.github/buildomat/jobs/p5p.sh
@@ -55,7 +55,7 @@ REL_LINK_SRC=target/i686-unknown-illumos/release
 mkdir -p $REL_SRC
 cp /input/xde/work/release/xde $REL_SRC
 mkdir -p $DBG_SRC
-cp /input/xde/work/debug/xde $DBG_SRC
+cp /input/xde/work/debug/xde.dbg $DBG_SRC/xde
 
 mkdir -p $REL_LINK_SRC
 cp /input/xde/work/release/xde_link.so $REL_LINK_SRC/libxde_link.so

diff --git a/.github/buildomat/jobs/xde.sh b/.github/buildomat/jobs/xde.sh
@@ -99,7 +99,7 @@ ptime cargo xtask build
 # Inspect the kernel module for bad relocations in case the old
 # codegen issue ever shows its face again.
 #
-if elfdump $DBG_SRC/xde.dbg | grep GOTPCREL; then
+if elfdump $DBG_SRC/xde | grep GOTPCREL; then
 	echo "found GOTPCREL relocation in debug build"
 	exit 1
 fi
@@ -109,7 +109,7 @@ if elfdump $REL_SRC/xde | grep GOTPCREL; then
 	exit 1
 fi
 
-cp $DBG_SRC/xde.dbg $DBG_TGT/
+cp $DBG_SRC/xde $DBG_TGT/xde.dbg
 sha256sum $DBG_TGT/xde.dbg > $DBG_TGT/xde.dbg.sha256
 
 cp $DBG_LINK_SRC/libxde_link.so $DBG_TGT/xde_link.dbg.so