mirror of
https://github.com/introlab/rtabmap.git
synced 2026-09-02 17:40:23 +08:00
workflow/docker: added CACHE_DATE to android builds to avoid caching rtabmap build
This commit is contained in:
@@ -4,6 +4,7 @@ FROM introlab3it/rtabmap:android-deps
|
|||||||
|
|
||||||
WORKDIR /root/
|
WORKDIR /root/
|
||||||
|
|
||||||
|
ARG CACHE_DATE=2016-01-01
|
||||||
ADD rtabmap.bash /root/rtabmap.bash
|
ADD rtabmap.bash /root/rtabmap.bash
|
||||||
RUN chmod +x rtabmap.bash
|
RUN chmod +x rtabmap.bash
|
||||||
RUN /bin/bash -c "./rtabmap.bash /opt/android 23"
|
RUN /bin/bash -c "./rtabmap.bash /opt/android 23"
|
||||||
|
|||||||
@@ -4,6 +4,7 @@ FROM introlab3it/rtabmap:android-deps
|
|||||||
|
|
||||||
WORKDIR /root/
|
WORKDIR /root/
|
||||||
|
|
||||||
|
ARG CACHE_DATE=2016-01-01
|
||||||
ADD rtabmap.bash /root/rtabmap.bash
|
ADD rtabmap.bash /root/rtabmap.bash
|
||||||
RUN chmod +x rtabmap.bash
|
RUN chmod +x rtabmap.bash
|
||||||
RUN /bin/bash -c "./rtabmap.bash /opt/android 24"
|
RUN /bin/bash -c "./rtabmap.bash /opt/android 24"
|
||||||
|
|||||||
@@ -4,6 +4,7 @@ FROM introlab3it/rtabmap:android-deps
|
|||||||
|
|
||||||
WORKDIR /root/
|
WORKDIR /root/
|
||||||
|
|
||||||
|
ARG CACHE_DATE=2016-01-01
|
||||||
ADD rtabmap.bash /root/rtabmap.bash
|
ADD rtabmap.bash /root/rtabmap.bash
|
||||||
RUN chmod +x rtabmap.bash
|
RUN chmod +x rtabmap.bash
|
||||||
RUN /bin/bash -c "./rtabmap.bash /opt/android 26"
|
RUN /bin/bash -c "./rtabmap.bash /opt/android 26"
|
||||||
|
|||||||
Reference in New Issue
Block a user