From 72b8f45161ebf29fd870a3076cbed869ae6bf9b8 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Tue, 16 Aug 2022 10:38:06 +0200
Subject: [PATCH] small jenkinsfile fix

---
 automation/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 70a24db..f44b83d 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -30,7 +30,7 @@ pipeline {
         }
         stage('Check Cross') {
             steps {
-                sh 'cross check --target thumbv7em-none-eabihf --no-default-features'
+                sh 'cargo check --target thumbv7em-none-eabihf --no-default-features'
             }
         }
     }