Fixed build script to only continue if it was successful

This commit is contained in:
Derek Witcpalek
2020-04-07 22:39:33 -04:00
parent 9618d6885e
commit 6f5b2f6142

View File

@@ -1,7 +1,7 @@
#!/bin/bash
catkin_make clean
catkin_make
catkin_make install
catkin_make clean &&
catkin_make &&
catkin_make install &&
source devel/setup.bash