1 files changed, 2 insertions, 2 deletions
diff --git a/sync-all b/sync-all
index 517d4ff15d..355e16a562 100755
--- a/sync-all
+++ b/sync-all
@@ -943,8 +943,8 @@ END {
         ["libraries/Cabal",  "c8ebd66a32865f72ae03ee0663c62df3d77f08fe"],
         );
     for (@obsolete_dirs) {
-        my ($dir, $hash) = $_;
-        my $name = $dir =~ m!/([^/]+)$!;
+        my ($dir, $hash) = @$_;
+        my ($name) = $dir =~ m!/([^/]+)$!;
         message "== Checking for old $name repo";
         if (-d "$dir/.git") {
             chdir($dir);