From 3c3c86bdba67d998e0acb459bd21201ece17fe6e Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Thu, 1 Feb 2018 15:39:28 +0100 Subject: [PATCH] noux_tool_chain_auto.run: use '[depot_dir]' instead of '$genode_dir/depot' Fixes #2663 --- repos/ports/run/noux_tool_chain_auto.run | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run index b172f8533..ca80fdaf4 100644 --- a/repos/ports/run/noux_tool_chain_auto.run +++ b/repos/ports/run/noux_tool_chain_auto.run @@ -120,12 +120,13 @@ close $bash_profile_fd -exec mkdir -p $genode_dir/depot/test +exec mkdir -p [depot_dir]/test exec $genode_dir/tool/depot/create test/src/zlib exec tar cvf bin/genode.tar -C $genode_dir tool repos/base \ - depot/test repos/libports/recipes/src/zlib \ + repos/libports/recipes/src/zlib \ repos/libports/recipes/api -exec rm -rf $genode_dir/depot/test +exec tar rvf bin/genode.tar -C [depot_dir]/.. depot/test +exec rm -rf [depot_dir]/test create_boot_directory