* Add a check to make sure the expected directory exists after checkout.

[code/myrepos.git] / mr

diff --git a/mr b/mr
index 4e3d73889b3080816fb9659761cd429f24baf0ce..310f99abab53edee1c8c90161780a1318c1654e4 100755 (executable)
--- a/mr
+++ b/mr
@@ -462,6 +462,12 @@ sub action { #{{{
                        }
                }
                else {
+                       if ($action eq 'checkout' && ! -d $dir) {
+                               print STDERR "mr $action: $dir missing after checkout\n";;
+                               push @failed, $dir;
+                               return;
+                       }
+
                        push @ok, $dir;
                }