From af49ec758318c79bc51a20380a9da719319f7982 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 26 Nov 2018 16:22:32 +0100 Subject: [PATCH] Support custom DEPOT_DIR in noux_tool_chain_auto.run --- repos/ports/run/noux_tool_chain_auto.run | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run index 7b4e7bffd7..2fc4b09ffb 100644 --- a/repos/ports/run/noux_tool_chain_auto.run +++ b/repos/ports/run/noux_tool_chain_auto.run @@ -120,13 +120,12 @@ puts $bash_profile_fd "./genode/tool/depot/create DEPOT_DIR=/home/build/depot \ close $bash_profile_fd - exec mkdir -p [depot_dir]/test -exec $genode_dir/tool/depot/create test/src/zlib +exec $genode_dir/tool/depot/create DEPOT_DIR=[depot_dir] test/src/zlib exec tar cvf bin/genode.tar -C $genode_dir tool repos/base \ repos/libports/recipes/src/zlib \ repos/libports/recipes/api -exec tar rvf bin/genode.tar -C [depot_dir]/.. depot/test +exec tar rvf bin/genode.tar -C [depot_dir]/.. [file tail [depot_dir]]/test exec rm -rf [depot_dir]/test append config {