diff options
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index 30a1fe7c..a3b0cad5 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -122,9 +122,12 @@ nice ionice -c 3 \ cd coreboot-builds for i in * ; do - mkdir $TMPDIR/b1/$i - if [ -f $i/coreboot.rom ] ; then - cp -p $i/coreboot.rom $TMPDIR/b1/$i/ + # abuild is a build result but not the result we are looking for... + if [ "$i" != "abuild" ] ; then + mkdir $TMPDIR/b1/$i + if [ -f $i/coreboot.rom ] ; then + cp -p $i/coreboot.rom $TMPDIR/b1/$i/ + fi fi done cd .. |