diff --git a/.ci/build.sh b/.ci/build.sh index 0538179f3e..d529a5353f 100755 --- a/.ci/build.sh +++ b/.ci/build.sh @@ -94,10 +94,10 @@ done if [[ "$ARCH" != "x86_64" ]]; then rm $ROSDEP_FILE +else + echo "" + echo "$0: the generated rosdep file follows:" + echo "" + cat $ROSDEP_FILE + echo "" fi - -echo "" -echo "$0: the generated rosdep file follows:" -echo "" -cat $ROSDEP_FILE -echo ""