From 8ae5c906d0421e9028c338c738644affbe7ef920 Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Tue, 27 Aug 2019 12:57:42 +0200 Subject: [PATCH] noux_tool_chain_auto: use absolute paths for command issue #3481 --- repos/ports/run/noux_tool_chain_auto.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run index f37c2936c..bfecaa53b 100644 --- a/repos/ports/run/noux_tool_chain_auto.run +++ b/repos/ports/run/noux_tool_chain_auto.run @@ -113,7 +113,7 @@ echo 'creating build directory...' mkdir -p "/home/build" cp -r /genode/depot /home/build } -puts $bash_profile_fd "./genode/tool/depot/create DEPOT_DIR=/home/build/depot \ +puts $bash_profile_fd "/genode/tool/depot/create DEPOT_DIR=/home/build/depot \ test/bin/$platform/zlib CROSS_DEV_PREFIX=$tool_prefix && exit 234" close $bash_profile_fd