diff options
Diffstat (limited to 'resources/scripts')
| -rwxr-xr-x | resources/scripts/build/clean/u-boot | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/resources/scripts/build/clean/u-boot b/resources/scripts/build/clean/u-boot index fd1a304e..6a59a5c1 100755 --- a/resources/scripts/build/clean/u-boot +++ b/resources/scripts/build/clean/u-boot @@ -20,18 +20,11 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. # -# This script assumes that the current working directory is the root - [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e -# clean u-boot builds (dependencies for 'build'): - printf "Cleaning u-boot builds for all boards\n" -[ ! -d "coreboot/" ] && exit 0 - -# clean u-boot (source archives preserved) for board in u-boot/*; do if [ "${board##*/}" = "u-boot" ] || [ ! -d "${board}" ]; then continue |