]> gitweb.fluxo.info Git - utils-git.git/commitdiff
Updates mrconfig-updater
authorSilvio Rhatto <rhatto@riseup.net>
Sat, 16 Sep 2017 21:28:48 +0000 (18:28 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Sat, 16 Sep 2017 21:28:48 +0000 (18:28 -0300)
mrconfig-updater

index 609c2a8f6df5db4e8b35654199e202fa1788669f..0781709279bed947ac4816eaf1ddb66d93da2b3c 100755 (executable)
@@ -24,6 +24,10 @@ rm -f $MRCONFIG
 
 # Iterate
 for folder in $FOLDERS; do
+  if [ ! -d "$folder" ]; then
+    continue
+  fi
+
   find $folder -maxdepth $DEPTH -name '.git' | while read repo; do
     echo "[`dirname $repo`]" >> $MRCONFIG
   done