File tree Expand file tree Collapse file tree 3 files changed +3
-0
lines changed Expand file tree Collapse file tree 3 files changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -88,6 +88,7 @@ RUN sed --in-place \
88
88
's|^source .*|source "$OVERLAY_WS/install/setup.bash"|' \
89
89
/ros_entrypoint.sh
90
90
91
+ # test overlay build
91
92
ARG RUN_TESTS
92
93
ARG FAIL_ON_TEST_FAILURE=Ture
93
94
RUN if [ -n "$RUN_TESTS" ]; then \
Original file line number Diff line number Diff line change @@ -180,6 +180,7 @@ RUN sed --in-place \
180
180
's|^source .*|source "$OVERLAY_WS/install/setup.bash"|' \
181
181
/ros_entrypoint.sh
182
182
183
+ # test overlay build
183
184
ARG RUN_TESTS
184
185
ARG FAIL_ON_TEST_FAILURE=Ture
185
186
RUN if [ -n "$RUN_TESTS" ]; then \
Original file line number Diff line number Diff line change @@ -111,6 +111,7 @@ RUN sed --in-place \
111
111
's|^source .*|source "$OVERLAY_WS/install/setup.bash"|' \
112
112
/ros_entrypoint.sh
113
113
114
+ # test overlay build
114
115
ARG RUN_TESTS
115
116
ARG FAIL_ON_TEST_FAILURE=Ture
116
117
RUN if [ -n "$RUN_TESTS" ]; then \
You can’t perform that action at this time.
0 commit comments