diff --git a/.ci/Jenkinsfile-hardware b/.ci/Jenkinsfile-hardware
index 2bb770de0a74c402444c2ae0878008ae37dbb1d6..9c62b84670b731f64d5a256edbc5cbcb92a553f5 100644
--- a/.ci/Jenkinsfile-hardware
+++ b/.ci/Jenkinsfile-hardware
@@ -79,7 +79,7 @@ pipeline {
                       -ex "target remote localhost:2331" \
                       -ex "monitor reset 0" \
                       -ex "load" \
-                      -ex "monitor compare-sections" \
+                      -ex "compare-sections" \
                       -ex "monitor reset 0" \
                       -ex "monitor sleep 1000" \
                       -ex "monitor go" \
@@ -115,7 +115,7 @@ pipeline {
                       -ex "target remote localhost:2331" \
                       -ex "monitor reset 0" \
                       -ex "load" \
-                      -ex "monitor compare-sections" \
+                      -ex "compare-sections" \
                       -ex "monitor reset 0" \
                       -ex "monitor sleep 1000" \
                       -ex "monitor go" \