regenerate-cores.sh: Enforce bash

Plain sh (like dash) doesn't support pipefail.
2022-05-21 22:53:37 +02:00 · 2022-05-21 22:53:37 +02:00 · 9be6f666eb
parent 73215fda85
commit 9be6f666eb
1 changed files with 1 additions and 1 deletions
--- a/regenerate-cores.sh
+++ b/regenerate-cores.sh
@ -1,4 +1,4 @@
-#! /bin/sh -ea
+#! /bin/bash -ea
 set -o pipefail
`@ -1,4 +1,4 @@`
	`#! /bin/sh -ea`	`#! /bin/bash -ea`

	`set -o pipefail`	`set -o pipefail`