Rename output directory to `output'

Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>

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