From eb4c6c04563949a31d26b57af8522a3923c40ec5 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 11 Mar 2016 12:29:46 +0100 Subject: [PATCH] build.mk: suggest verbatim prepare_port command If ports need preparation in order to execute a run script, use the knowledge about the actual genode directory to suggest a command to the user that can be directly copied to the command line. --- tool/builddir/build.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk index 3ca95d0c0..227df29a4 100644 --- a/tool/builddir/build.mk +++ b/tool/builddir/build.mk @@ -229,7 +229,7 @@ gen_deps_and_build_targets: $(INSTALL_DIR) $(LIB_DEP_FILE) echo " @echo \" \$$(sort \$$(MISSING_PORTS))\""; \ echo " @echo \"\""; \ echo " @echo \"You can prepare respectively update them as follows:\""; \ - echo " @echo \" /tool/ports/prepare_port \$$(sort \$$(MISSING_PORTS))\""; \ + echo " @echo \" $(GENODE_DIR)/tool/ports/prepare_port \$$(sort \$$(MISSING_PORTS))\""; \ echo " @echo \"\""; \ echo " @false"; \ echo "else"; \