regex not compatible with mawk

Index: scripts/gen-sorted.awk
===================================================================
RCS file: /cvs/glibc/libc/scripts/gen-sorted.awk,v
retrieving revision 1.2
diff -u -r1.2 gen-sorted.awk
--- scripts/gen-sorted.awk	28 Feb 2006 07:05:57 -0000	1.2
+++ scripts/gen-sorted.awk	27 Jun 2006 17:21:34 -0000
@@ -16,7 +16,7 @@
 {
   subdir = type = FILENAME;
   sub(/^.*\//, "", type);
-  sub(/\/[^/]+$/, "", subdir);
+  sub(/\/[^\/]+$/, "", subdir);
   sub(/^.*\//, "", subdir);
   thisdir = "";
 }
@@ -56,13 +56,13 @@
     # The Subdirs file comes from an add-on that should have the subdirectory.
     dir = FILENAME;
     do
-      sub(/\/[^/]+$/, "", dir);
+      sub(/\/[^\/]+$/, "", dir);
     while (dir !~ /\/sysdeps$/);
     sub(/\/sysdeps$/, "", dir);
     if (system("test -d " dir "/" thisdir) == 0)
       dir = dir "/" thisdir;
     else {
-      sub(/\/[^/]+$/, "", dir);
+      sub(/\/[^\/]+$/, "", dir);
       if (system("test -d " dir "/" thisdir) == 0)
         dir = dir "/" thisdir;
       else {

------- Additional Comment #1 From Stephane Loeuillet 2007-11-03 11:57 -------

Problem still present in 2.7
mawk is default in all debian and ubuntu systems.

gawk works fine with this regexp