make_dist.sh: use bash, optional parameter

mgeier · mgeier · commit 841e0a1b2ea2 · 2022-08-21T17:44:50.000+02:00
diff --git a/make_dist.sh b/make_dist.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -euo pipefail
 
@@ -8,7 +8,7 @@ PYTHON=python3
 
 make_wheel()
 {
-  PYTHON_SOUNDDEVICE_PLATFORM=$1 PYTHON_SOUNDDEVICE_ARCHITECTURE=$2 \
+  PYTHON_SOUNDDEVICE_PLATFORM=$1 PYTHON_SOUNDDEVICE_ARCHITECTURE=${2:-} \
     $PYTHON -m build
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`
`3`	`3`	`set -euo pipefail`
`4`	`4`
`@@ -8,7 +8,7 @@ PYTHON=python3`
`8`	`8`
`9`	`9`	`make_wheel()`
`10`	`10`	`{`
`11`		`- PYTHON_SOUNDDEVICE_PLATFORM=$1 PYTHON_SOUNDDEVICE_ARCHITECTURE=$2 \`
	`11`	`+ PYTHON_SOUNDDEVICE_PLATFORM=$1 PYTHON_SOUNDDEVICE_ARCHITECTURE=${2:-} \`
`12`	`12`	`$PYTHON -m build`
`13`	`13`	`}`
`14`	`14`