all.bash: use /bin/bash explicitly

Change-Id: If4af8e09d1921242e36a415317d390154c5c2891

all.bash: use /bin/bash explicitly
Change-Id: If4af8e09d1921242e36a415317d390154c5c2891
9905e995 · Han-Wen Nienhuys · 23b5d97d · 9905e995
Commit 9905e995 authored Nov 15, 2022 by Han-Wen Nienhuys
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

all.bash all.bash +1 -1

No files found.
--- a/all.bash
+++ b/all.bash
-#!/bin/sh
+#!/bin/bash
 set -eux

 # Everything must compile on Linux