builder: Make pi:pi as owner of catkin_ws dir

This commit is contained in:
Arthur Golubtsov
2019-10-22 12:50:47 +03:00
parent 6813d49fd9
commit 0e9597dc26

View File

@@ -49,9 +49,6 @@ my_travis_retry() {
return $result
}
echo_stamp "Change repo owner to pi"
chown -Rf pi:pi /home/pi/clever-show/
echo_stamp "Update apt cache"
apt-get update -qq
@@ -73,4 +70,8 @@ source devel/setup.bash
catkin_make --pkg clever_flight_routines
source devel/setup.bash
echo_stamp "Change clever-show and catkin_ws owner to pi"
chown -Rf pi:pi /home/pi/clever-show/
chown -Rf pi:pi /home/pi/catkin_ws/
echo_stamp "End of software installation"