fix bash syntax

Lukaswnd · Lukaswnd · commit 10e7e9e2311a · 2024-06-03T15:30:35.000+02:00
diff --git a/tools/push-to-arduino.sh b/tools/push-to-arduino.sh
@@ -24,7 +24,7 @@ git config --global user.email "$GITHUB_ACTOR@github.com"
 # esp32-arduino-libs
 #
 
-if [[[ $LIBS_HAS_COMMIT == "0" ]] || [[ $AR_HAS_COMMIT == "0" ]]]; then
+if [[ $LIBS_HAS_COMMIT == "0" || $AR_HAS_COMMIT == "0" ]]; then
     cd "$AR_ROOT"
     # create branch if necessary
     if [ "$LIBS_HAS_BRANCH" == "1" ]; then

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ git config --global user.email "$GITHUB_ACTOR@github.com"`
`24`	`24`	`# esp32-arduino-libs`
`25`	`25`	`#`
`26`	`26`
`27`		`-if [[[ $LIBS_HAS_COMMIT == "0" ]] \|\| [[ $AR_HAS_COMMIT == "0" ]]]; then`
	`27`	`+if [[ $LIBS_HAS_COMMIT == "0" \|\| $AR_HAS_COMMIT == "0" ]]; then`
`28`	`28`	`cd "$AR_ROOT"`
`29`	`29`	`# create branch if necessary`
`30`	`30`	`if [ "$LIBS_HAS_BRANCH" == "1" ]; then`