From 2d145209e6146bb1bb01fbe291bf2fc47daa3f7b Mon Sep 17 00:00:00 2001 From: Lucas Walter Date: Fri, 19 Jul 2024 09:25:00 -0700 Subject: [PATCH] make a /home/lucasw/other/install/local/bin in case an install doesn't make it --- build.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build.sh b/build.sh index 47bcccf..e4b5806 100755 --- 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