diff options
| author | Andrew Scheller <github@loowis.durge.org> | 2014-04-07 01:41:24 +0100 |
|---|---|---|
| committer | Andrew Scheller <github@loowis.durge.org> | 2014-04-07 01:41:24 +0100 |
| commit | 5e443f4b708ba2984f7f04bfec17ea90310b1123 (patch) | |
| tree | 90569d7d4e8f8de3b800877776ad5df717eebc17 /tools/pip-micropython | |
| parent | 902d9552c551a14821fbf9a801eb2174fcd04dbb (diff) | |
| parent | 2bfd2dc77091bee94723c36216dee652bcc8a054 (diff) | |
| download | micropython-5e443f4b708ba2984f7f04bfec17ea90310b1123.tar.gz micropython-5e443f4b708ba2984f7f04bfec17ea90310b1123.zip | |
Merge remote-tracking branch 'upstream/master' into makefile-tweaks
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" |