changeset 5154:e366616c0120

librestrict: disable name juggling. Should fix John's 2.5.1 problem.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 16 Feb 2009 16:02:37 +0100
parents df81ae7d9c8b
children 9a6ad85d6a26
files gub/specs/librestrict.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/librestrict.py	Mon Feb 16 14:49:42 2009 +0100
+++ b/gub/specs/librestrict.py	Mon Feb 16 16:02:37 2009 +0100
@@ -10,7 +10,7 @@
                                              'open').replace (':', ' ').split (' ')))
     def flavours (self):
         return ['exec', 'open', 'stat']
-    def name (self):
+    def BARFS_WITH_2_5_1_name (self):
         return 'librestrict-' + '-'.join (self.librestrict_flavours ())
     def get_conflict_dict (self):
         # Ugly hack: if the user is not explicitly tightening the
@@ -68,3 +68,4 @@
 '''))
 
 Librestrict__tools = Librestrict_nomake__tools
+Librestrict_open__tools = Librestrict__tools