diff options
| author | Klemens Nanni <contact@autoboot.org> | 2015-11-21 17:14:22 +0100 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-11-21 23:44:13 +0000 |
| commit | 9a4e9bb75aee17ec7d5ee288dfbe1045bfc568c0 (patch) | |
| tree | 25e0ada0b0dcfa803039d04a1c7265877c487ccb /resources/scripts/helpers/build/clean/rom_images | |
| parent | e9e8f47951b4658d4b9e7dcf01926863d5142804 (diff) | |
| download | librebootfr-9a4e9bb75aee17ec7d5ee288dfbe1045bfc568c0.tar.gz librebootfr-9a4e9bb75aee17ec7d5ee288dfbe1045bfc568c0.zip | |
build/clean/*: Use make properly (-C flag)
Instead of manually cd'ing into and out of
directories, use make's -C flag.
Diffstat (limited to 'resources/scripts/helpers/build/clean/rom_images')
| -rwxr-xr-x | resources/scripts/helpers/build/clean/rom_images | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/resources/scripts/helpers/build/clean/rom_images b/resources/scripts/helpers/build/clean/rom_images index f0c342ab..603e35b2 100755 --- a/resources/scripts/helpers/build/clean/rom_images +++ b/resources/scripts/helpers/build/clean/rom_images @@ -3,6 +3,7 @@ # helper script: delete the ROM images # # Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> +# Copyright (C) 2015 Klemens Nanni <contact@autoboot.org> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -19,15 +20,12 @@ # # This script assumes that the current working directory is the root -# of libreboot_src or libreboot git +# of git or release archive [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e # Delete the ROM images -# -------------------------------------------------------- - -# delete the bin/ directory rm -Rf "bin/" printf "Deleted the bin/ directory containing the ROM images.\n\n" |