Commit 71377e31 authored by q3k's avatar q3k
Browse files

micropython: unhardcode /bin/bash

/bin/bash does not exist on odd unixen (BSDs, NixOS, ...). /usr/bin/env is the current de facto standard
to get bash somewhat universally.
parent f54e3c0e
Pipeline #1434 passed with stage
in 2 minutes and 50 seconds
#!/bin/bash
#!/usr/bin/env bash
set -e
PYTHON="$1"
......
#!/bin/bash
#!/usr/bin/env bash
set -e
SOURCE_DIR="$1"
......
#!/bin/bash
#!/usr/bin/env bash
set -e
PYTHON="$1"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment