Commit 3bb86632 authored by Damien George's avatar Damien George
Browse files

Merge branch 'master' of github.com:micropython/micropython

parents c75427ba bd6f3d31
print({1}.union({2})) print(sorted({1}.union({2})))
...@@ -6,6 +6,12 @@ ...@@ -6,6 +6,12 @@
# ports (if PIP_MICROPY_DEST environment var is set). # ports (if PIP_MICROPY_DEST environment var is set).
# #
if [ "$1" != "install" ]; then
echo "Only install command is supported currently"
exit 1
fi
shift
if [ -n "$PIP_MICROPY_DEST" ]; then if [ -n "$PIP_MICROPY_DEST" ]; then
dest="$PIP_MICROPY_DEST" dest="$PIP_MICROPY_DEST"
echo "Destination snapshot directory: $dest" echo "Destination snapshot directory: $dest"
......
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