mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
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'.
This commit is contained in:
@@ -1,7 +1,6 @@
|
|||||||
assert_spec x86
|
assert_spec x86
|
||||||
|
|
||||||
set ::env(MAKEFLAGS) s
|
set path_microcode "[exec [genode_dir]/tool/ports/current --no-print-directory microcode_intel]/src/app/intel/intel-ucode"
|
||||||
set path_microcode "[exec [genode_dir]/tool/ports/current microcode_intel]/src/app/intel/intel-ucode"
|
|
||||||
set microcode_files [glob -nocomplain -dir $path_microcode *-*-*]
|
set microcode_files [glob -nocomplain -dir $path_microcode *-*-*]
|
||||||
|
|
||||||
if { [get_cmd_switch --autopilot] } {
|
if { [get_cmd_switch --autopilot] } {
|
||||||
|
|||||||
Reference in New Issue
Block a user