diff options
| -rw-r--r-- | tests/basics/set_union.py | 2 | ||||
| -rwxr-xr-x | tools/pip-micropython | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/tests/basics/set_union.py b/tests/basics/set_union.py index 2adcc972c..572d12f66 100644 --- a/tests/basics/set_union.py +++ b/tests/basics/set_union.py @@ -1 +1 @@ -print({1}.union({2})) +print(sorted({1}.union({2}))) diff --git a/tools/pip-micropython b/tools/pip-micropython index e27e85942..fab880983 100755 --- a/tools/pip-micropython +++ b/tools/pip-micropython @@ -6,6 +6,12 @@ # 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 dest="$PIP_MICROPY_DEST" echo "Destination snapshot directory: $dest" |