Skip to content

Commit 7501c76

Browse files
Print search location for patch when not found
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent 167fdd1 commit 7501c76

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

scripts/apply_patches.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ if [ ! -d "${WORKSPACE_DIR}" ]; then
3030
fi
3131

3232
if [ -z "${PATCH_DIR}" ]; then
33-
echo "Error: Patch directory '${PATCH_DIR}' does not exist"
33+
echo "Error: Patch directory not found (searched: ${SCRIPT_DIR}/../../share/micro_ros_setup/patches, ${SCRIPT_DIR}/../share/micro_ros_setup/patches, ${SCRIPT_DIR}/../patches)"
3434
exit 255
3535
fi
3636

0 commit comments

Comments
 (0)