diff options
author | Stefano Stabellini | 2019-06-04 13:27:45 -0700 |
---|---|---|
committer | Stefano Stabellini | 2019-06-04 13:27:45 -0700 |
commit | 9b1c369411d84a3967f0941f0a136c1f9c359589 (patch) | |
tree | 90212ee2e619e850ddbbfe40566227c700568bdf /docker-extras | |
parent | 1ed60fca00c7bc5b0ba5e98fb0765b04fd6b6726 (diff) |
Rename output directory to `output'
Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Diffstat (limited to 'docker-extras')
-rw-r--r-- | docker-extras/imagebuilder_run | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docker-extras/imagebuilder_run b/docker-extras/imagebuilder_run index 373d462..40f88c5 100644 --- a/docker-extras/imagebuilder_run +++ b/docker-extras/imagebuilder_run @@ -171,17 +171,17 @@ function check_compressed_file_type() check_file_type $filename "$type" } -rm -rf /tmp/ppp3 -mkdir /tmp/ppp3 +rm -rf /tmp/output +mkdir /tmp/output cd /home/builder for d in $(ls); do pushd $d - cp * /tmp/ppp3 + cp * /tmp/output popd done -cd /tmp/ppp3 +cd /tmp/output . config |