diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/build/boot/roms_helper | 5 | ||||
| -rwxr-xr-x | script/build/release/roms | 2 | ||||
| -rwxr-xr-x | script/update/blobs/inject | 2 | 
3 files changed, 5 insertions, 4 deletions
| diff --git a/script/build/boot/roms_helper b/script/build/boot/roms_helper index fb25bba4..5b64ad0e 100755 --- a/script/build/boot/roms_helper +++ b/script/build/boot/roms_helper @@ -156,7 +156,7 @@ configure_target()  	# Override all payload directives with cmdline args  	if [ ! -z ${payloads} ]; then -		echo "setting payloads $payloads" +		printf "setting payloads %s\n" "$payloads"  		payload_grub="n"  		payload_grub_withseabios="n" # seabios chainloaded from grub  		payload_seabios="n" @@ -397,7 +397,8 @@ build_grub_roms() {  		done  	fi  	for keymapfile in ${keymaps}; do -		echo "keymaps is $keymaps, keymapfile is $keymapfile" +		printf "keymaps is %s, keymapfile is %s\n" \ +		    "${keymaps}" "${keymapfile}"  		[ -f "${keymapfile}" ] || continue diff --git a/script/build/release/roms b/script/build/release/roms index da67f8ed..c15087f5 100755 --- a/script/build/release/roms +++ b/script/build/release/roms @@ -97,7 +97,7 @@ make_archive()  	cp "${builddir}"/* "${romdir}" || \  	    err "make_archive: cannot copy ROM images directory -> ${romdir}" -	echo ${target} +	printf "%s\n" "${target}"  	microcode_required="y"  	. "config/coreboot/${target}/target.cfg" diff --git a/script/update/blobs/inject b/script/update/blobs/inject index 06bf48f0..b849f5c5 100755 --- a/script/update/blobs/inject +++ b/script/update/blobs/inject @@ -125,7 +125,7 @@ patch_release_roms()  	    err "patch_release_roms: could not extract release archive"  	for x in "${_tmpdir}"/bin/*/*.rom ; do -		echo "patching rom $x" +		printf "patching rom: %s\n" "$x"  		patch_rom "${x}" || err "patch_release_roms: could not patch ${x}"  	done  	for x in "${_tmpdir}"/bin/*/*_nomicrocode.rom ; do | 
