Merge branch 'master' of https://github.com/86Box/86Box

86Box · Oct 16, 2023 · a6268d5 · a6268d5
2 parents 408cb35 + 0618f55
commit a6268d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.ci/build.sh b/.ci/build.sh
@@ -579,6 +579,7 @@ else
 		arm32)	arch_deb="armhf";;
 		*)	arch_deb="$arch";;
 	esac
+        grep -q " bullseye " /etc/apt/sources.list || echo [!] WARNING: System not running the expected Debian version
 
 	# Establish general dependencies.
 	pkgs="cmake ninja-build pkg-config git wget p7zip-full extra-cmake-modules wayland-protocols tar gzip file appstream"