Merge pull request #117 from bjackman/adb-push-error

android: Raise better error when trying to push non-existent file
diff --git a/.gitignore b/.gitignore
index 85b36c7..291b535 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@
 *.egg-info
 devlib/bin/scripts/shutils
 doc/_build/
+build/
+dist/