From eb94f03416fa5b03f2b46630a5473ccadcb5b896 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 3 May 2021 11:34:09 +0200 Subject: [PATCH] microcode.run: do not twiddle with MAKEFLAGS Unconditionally setting MAKEFLAGS to just 's' is not nice because other flags cannot be passed through the run script. What the script desires is to disable the automatically enabled '--print-directory' for sub-make instances when calling tool/port/current by declaring '--no-print-directory'. --- repos/ports/run/microcode.run | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/repos/ports/run/microcode.run b/repos/ports/run/microcode.run index b52b1f7a07..a3d04c7dba 100644 --- a/repos/ports/run/microcode.run +++ b/repos/ports/run/microcode.run @@ -1,7 +1,6 @@ assert_spec x86 -set ::env(MAKEFLAGS) s -set path_microcode "[exec [genode_dir]/tool/ports/current microcode_intel]/src/app/intel/intel-ucode" +set path_microcode "[exec [genode_dir]/tool/ports/current --no-print-directory microcode_intel]/src/app/intel/intel-ucode" set microcode_files [glob -nocomplain -dir $path_microcode *-*-*] if { [get_cmd_switch --autopilot] } {