Infra
/
tiramisu
5
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

not store properties with getproperties without properties

This commit is contained in:
Emmanuel Garette 2018-09-01 06:58:45 +02:00
parent 726d6c8bfd
commit c803298aa3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tiramisu/api.py
View File

@ -312,9 +312,10 @@ class TiramisuOptionProperty(CommonTiramisuOption):
option = self.option_bag.option option = self.option_bag.option
if apply_requires: if apply_requires:
self._test_slave_index() self._test_slave_index()
else:
self.option_bag.apply_requires = False
properties = self.option_bag.properties properties = self.option_bag.properties
else:
properties = self.settings.getproperties(self.option_bag,
apply_requires=False)
return set(properties) return set(properties)
def add(self, prop): def add(self, prop):