From 9b1c369411d84a3967f0941f0a136c1f9c359589 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Tue, 4 Jun 2019 13:27:45 -0700 Subject: Rename output directory to `output' Signed-off-by: Stefano Stabellini --- docker-extras/imagebuilder_run | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'docker-extras') 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 -- cgit v1.2.3