Merge branch 'master' of github.com:oilshell/oil

oilshell · Jul 7, 2019 · c864743 · c864743
2 parents b7c5b03 + 43dbc96
commit c864743
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/test/lint.sh b/test/lint.sh
@@ -90,8 +90,7 @@ bin-flake8() {
   if test -f "$ubuntu_flake8"; then
     $ubuntu_flake8 "$@"
   else
-    # Assume it's in $PATH, like on Travis.
-    flake8 "$@"
+    python2 -m flake8 "$@"
   fi
 }