Skip to content
Snippets Groups Projects
Select Git revision
  • 3c2b2acd8c21294d046f4d2ef9195a976a5ef999
  • wip-bootstrap default
  • dualcore
  • ch3/leds
  • ch3/time
  • master
6 results

gen-yield-from.py

Blame
    • gen-version.sh 369 B
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14 
    

    

    

    #!/bin/sh
set -e

# makeversionhdr has to be executed in the micropython subdir
# so it picks up the correct version
OUT="$(realpath "$3")"
OUTDIR="$(dirname "$OUT")"

mkdir -p "$OUTDIR/genhdr"
ln -sf "$(realpath --relative-to="$OUTDIR/genhdr" "$3")" "$OUTDIR/genhdr/$(basename "$OUT")"

cd "$2/micropython"
"$1" "$2/micropython/py/makeversionhdr.py" "$OUT" >/dev/null