[Gnu-arch-users] [BUG] Bug #7072 is closed, but does not seem fixed.

[Jan Hudec]

Hello All,

The bug #7072 is marked as fixed, but it still occurs.

I have tested with Andrew's nightly snapshot from 2004-01-24 and the
problem still occurs there. The patch attached in bug #7072 is not
applied in address@hidden/tla--devo--1.2--patch-85 (at least unless
cache on arch.bluegate.org is broken).

Please apply the patch or reopen the bug. The patch is:

--- tla-20040103/src/tla/libarch/inv-ids.c.orig 2004-01-03 12:42:16.000000000 
+0100
+++ tla-20040103/src/tla/libarch/inv-ids.c      2004-01-03 19:08:19.000000000 
+0100
@@ -1165,7 +1165,7 @@
     {
       int re_error;

-      re_error = regcomp (&pattern, 
"^(.*/)?(\\{arch\\}(/[a-zA-Z=][^/~]*)*|\\{arch\\}/\\.arch-project-tree)$", 
REG_EXTENDED);
+      re_error = regcomp (&pattern, 
"^(.*/)?(\\{arch\\}(/[a-zA-Z0-9=-][^/~]*)*|\\{arch\\}/\\.arch-project-tree)$", 
REG_EXTENDED);
       invariant (!re_error);
       compiled = 1;
     }


-------------------------------------------------------------------------------
                                                 Jan 'Bulb' Hudec 
<address@hidden>