Update ardupilot, add GITHUB_RUNNER flag

larics · Dec 23, 2023 · 94b85e9 · 94b85e9
1 parent 4d4583c
commit 94b85e9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/Dockerfile.binary b/Dockerfile.binary
@@ -13,6 +13,7 @@ ARG CATKIN_WORKSPACE=sim_ws
 ARG HOME=/root
 ARG USER=root
 ENV DEBIAN_FRONTEND=noninteractive
+ENV GITHUB_RUNNER=true
 RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
 
 # Install all the things to stop docker build from breaking

diff --git a/Dockerfile.source b/Dockerfile.source
@@ -6,6 +6,7 @@ ARG CATKIN_WORKSPACE=uav_ws
 ARG HOME=/root
 ARG USER=root
 ENV DEBIAN_FRONTEND=noninteractive
+ENV GITHUB_RUNNER=true
 RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
 
 # Install all the things to stop docker build from breaking

diff --git a/gitman.yml b/gitman.yml
@@ -89,7 +89,7 @@ sources:
 sources_locked:
   - repo: [email protected]:larics/ardupilot
     name: ardupilot
-    rev: ac05a3d86891a6d736089e4f03238122ecb710af
+    rev: 34af6c42e25d3e43af5e223205e35bfd7d30f449
     type: git
     params:
     sparse_paths: