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

modbuiltins.c

Blame
    • gen-version.sh 327 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 -sfr "$OUT" "$OUTDIR/genhdr/$(basename "$OUT")"

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