From 6351fdcbcb7609b1643855615ebc170f68155386 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Tue, 21 Jun 2022 00:40:16 +0200
Subject: [PATCH] Restore build.sh

Revert changes unrelated to the PR
---
 build.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index aa1ad9b..271501a 100755
--- a/build.sh
+++ b/build.sh
@@ -1,4 +1,9 @@
-f [ -z "${RPI}" ] ; then
+#!/bin/bash
+
+set -e 
+set -x
+
+if [ -z "${RPI}" ] ; then
   echo "\$RPI missing, exting"
   exit 1
 fi