diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-10-09 12:36:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-10-09 12:36:00 +0200 |
commit | f138602f9478ee2dca0835420017fd8098b602da (patch) | |
tree | 68f00050d7140eaaebd0d93ad24609c7daf4dce7 | |
parent | e9696a162cb4a8d76f078dcda3b223fd1388899c (diff) | |
download | jenkins.debian.net-f138602f9478ee2dca0835420017fd8098b602da.tar.xz |
reproducible: 'arm' is a valid arch to be build on armhf
-rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index c60501b6..53cd61df 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -511,7 +511,7 @@ check_suitability() { break fi # special case arm… - if [ "$ARCH" = "armhf" ] && [ "$arch" = "any-arm" ] ; then + if [ "$ARCH" = "armhf" ] && ( [ "$arch" = "any-arm" ] || [ "$arch" = "arm" ] ) ; then SUITABLE=true break fi |