scripts: make shebang more portable (#2216)

Some Linux distros (like NixOS) don't place bash in /bin/bash.
This commit is contained in:
asymmetric 2021-01-08 12:29:43 +02:00 committed by GitHub
parent fbae1e77e4
commit 51f967a548
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 5 additions and 5 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright (c) 2018-2019 Status Research & Development GmbH. Licensed under
# either of:

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright (c) 2020 Status Research & Development GmbH. Licensed under
# either of:

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright (c) 2018-2020 Status Research & Development GmbH. Licensed under
# either of:

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Simple build script to produce an Emscripten-based wasm version of the state
# sim.

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Simple build script to produce an Emscripten-based wasm version of the state
# sim.