diff options
Diffstat (limited to 'tools/pip-micropython')
| -rwxr-xr-x | tools/pip-micropython | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/pip-micropython b/tools/pip-micropython index e27e859425..fab8809839 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" |