tools: choose correct dockerhub repo

This was incorrectly set after the rename.
mavlink · Jul 12, 2019 · 3fc637e · 3fc637e
1 parent ce9ad11
commit 3fc637e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/run-docker.sh b/tools/run-docker.sh
@@ -1,3 +1,3 @@
 #!/usr/bin/env sh
 
-docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavlink/mavsdk-ubuntu-18.04-px4-sitl "$@"
+docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavsdk/mavsdk-ubuntu-18.04-px4-sitl "$@"