make a /home/lucasw/other/install/local/bin in case an install doesn'…

…t make it
lucasw · Jul 19, 2024 · 2d14520 · 2d14520
1 parent 4f8ebf8
commit 2d14520
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/build.sh b/build.sh
@@ -18,6 +18,8 @@ WS=`pwd`/underlay_ws/src
 echo $WS
 mkdir $WS -p
 
+mkdir -p $DEST/local/bin
+
 ROS_DEST=$DEST source $WS/../env.sh
 
 # catkin_pkg