diff options
author | khilman <khilman@users.noreply.github.com> | 2018-10-18 10:41:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-18 10:41:32 +0200 |
commit | 444653525a07faeee32eab0c07ec972ed6fe8967 (patch) | |
tree | acb42f5c455385dcac78d82e7ece15da57622405 /lava-slave/Dockerfile | |
parent | 24fb00544ba3191216876112d3bad8a742812ed6 (diff) | |
parent | 135f1dca856775d0d365c0c1045a7add8626da01 (diff) |
Merge pull request #53 from montjoie/board_for_user
Permit to give board to user
Diffstat (limited to 'lava-slave/Dockerfile')
-rw-r--r-- | lava-slave/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lava-slave/Dockerfile b/lava-slave/Dockerfile index c029e47..7b811bf 100644 --- a/lava-slave/Dockerfile +++ b/lava-slave/Dockerfile @@ -39,6 +39,7 @@ COPY scripts/setup.sh . COPY devices/ /root/devices/ COPY tags/ /root/tags/ +COPY deviceinfo/ /root/deviceinfo/ RUN if [ -x /root/extra_actions ] ; then /root/extra_actions ; fi |