From cfe80644b7be03df593be5e146effa230c621517 Mon Sep 17 00:00:00 2001
From: s00se <95649696+s00se@users.noreply.github.com>
Date: Mon, 17 Jan 2022 13:31:14 -0700
Subject: [PATCH] docker-image: add gcc-arm-none-eabi

---
 scripts/setup-ubuntu.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/setup-ubuntu.sh b/scripts/setup-ubuntu.sh
index c4fa45bdd..bbecad85d 100755
--- a/scripts/setup-ubuntu.sh
+++ b/scripts/setup-ubuntu.sh
@@ -202,6 +202,9 @@ PACKAGES+=" aspell"
 # Needed by package kphp.
 PACKAGES+=" python3-jsonschema"
 
+# Needed by proxmark3/proxmark3-git
+PACKAGES+=" gcc-arm-none-eabi"
+
 # Do not require sudo if already running as root.
 if [ "$(id -u)" = "0" ]; then
 	SUDO=""