Skip to content
Snippets Groups Projects
Verified Commit 85f8bd64 authored by q3k's avatar q3k Committed by rahix
Browse files

fix(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.

Manual merge for !37
parent 4f220608
No related branches found
No related tags found
No related merge requests found
#!/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"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment