small tweaks to fix issues found with clean chroot test
diff --git a/aos/build/build.py b/aos/build/build.py
index 1e663a4..7bc0986 100755
--- a/aos/build/build.py
+++ b/aos/build/build.py
@@ -562,11 +562,11 @@
def parse_platforms(self, platform_string):
if platform_string is None:
return self.default_platforms()
- elif platform_string == 'all':
- return self.platforms()
r = self.default_platforms()
for part in platform_string.split(','):
- if part[0] == '+':
+ if part == 'all':
+ r = self.platforms()
+ elif part[0] == '+':
r = r | self.select_platforms_string(part[1:])
elif part[0] == '-':
r = r - self.select_platforms_string(part[1:])
@@ -624,6 +624,8 @@
packages.add('g++-4.7-arm-linux-gnueabihf')
if platform.compiler() == 'clang' or platform.compiler() == 'gcc_4.8':
packages.add('clang-3.5')
+ if platform.compiler() == 'gcc_4.8':
+ packages.add('libcloog-isl3:amd64')
if is_deploy:
packages.add('openssh-client')
if platform.compiler() == 'gcc' and platform.architecture() == 'amd64':