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

user_config.h

Blame
    • gen-version.sh 316 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"