emit "null" instead of NULL for userspace headers

This commit is contained in:
Chris PeBenito 2007-03-30 20:33:51 +00:00
parent f6ddd6b9b7
commit f88ef60ac0

View File

@ -370,7 +370,12 @@ class Flask:
results = []
results.append(self.autogen)
results.append("/*\n * Security object class definitions\n */\n")
results.append(" S_(NULL)\n")
if mode == self.KERNEL:
results.append(" S_(NULL)\n")
else:
results.append(" S_(\"null\")\n")
for c in self.classes:
user = self.userspace.has_key(c)
if mode == self.KERNEL and user: