Do not use basename()

1 files changed, 1 insertions, 1 deletions

diff --git a/sync-all b/sync-all
index ba80cfe35d..e43a6f682e 100755
--- a/sync-all
+++ b/sync-all
@@ -1002,7 +1002,7 @@ END {
         );
     for (@obsolete_dirs) {
         my ($dir, $hash) = $_;
-        my $name = basename $dir;
+        my $name = $dir =~ m!/([^/]+)$!;
         message "== Checking for old $name repo";
         if (-d "$dir/.git") {
             chdir($dir);