From 738c667c48b08075aca6b00115d5e76f7dec8183 Mon Sep 17 00:00:00 2001
From: Holger Wirtz <wirtz@parasitstudio.de>
Date: Sun, 13 Mar 2022 13:18:27 +0100
Subject: [PATCH] Fixed instructions for RPi2 support in README.md.

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 40a3681..2aa5d4a 100644
--- a/README.md
+++ b/README.md
@@ -107,7 +107,10 @@ export PATH=$(readlink -f ./gcc-*/bin/):$PATH
 # Get Raspberry Pi boot files
 cd ./circle-stdlib/libs/circle/boot
 make
-make armstub64
+if [ "${RPI}" -gt 2 ]
+then
+	make armstub64
+fi
 cd -
 
 # Make zip that contains Raspberry Pi 4 boot files. The contents can be copied to a FAT32 formatted partition on a microSD card