diff options
| author | Damien George | 2014-04-07 00:54:53 +0100 |
|---|---|---|
| committer | Damien George | 2014-04-07 00:54:53 +0100 |
| commit | 3bb8663282fd41704c2e06de17138dae605aeacd (patch) | |
| tree | a1bc856af40813a139bb0af4623e2261b52cc68f /tools/pip-micropython | |
| parent | c75427baaa9f455497c46f754d6f4e8c594fb897 (diff) | |
| parent | bd6f3d31d2a78bbcfeabcf9f358797020de9b93e (diff) | |
Merge branch 'master' of github.com:micropython/micropython
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 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" |