ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Support custom DEPOT_DIR in noux_tool_chain_auto.run

This commit is contained in:
Christian Helmuth 2018-11-26 16:22:32 +01:00
parent a20d37c50a
commit af49ec7583
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/ports/run/noux_tool_chain_auto.run
View File

@ -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 {