Merge branch 'main' into ProgramButtons · 3d6d281ebb - MiniDexed - parasiTstudio

Merge branch 'main' into ProgramButtons

pull/500/head

Kevin 2 years ago committed by

GitHub

parent 37e637ac93 571816feaa

commit 3d6d281ebb

No known key found for this signature in database

GPG Key ID: 4AEE18F83AFDEB23

1 changed files with 1 additions and 1 deletions

								
									2

build.sh

								Unescape
								Escape
							
									View File
								
					@ -4,7 +4,7 @@ set -e
				
					set -x
					
					set -x
				
					if [ -z "${RPI}" ] ; then
					
					if [ -z "${RPI}" ] ; then
				
					  echo "\$RPI missing, exting"
					
					  echo "\$RPI missing, exiting"
				
					  exit 1
					
					  exit 1
				
					fi
					
					fi