Merge branch 'patch-20181214b' into 'dev'

Recreate MR#1419 for dev branch See merge request hubzilla/core!1428
2018-12-14 22:58:22 +01:00 · 2018-12-14 22:58:22 +01:00 · 1e526e68ab
commit 1e526e68ab
parent 4ff3c57976 03a214c8b9
1 changed files with 1 additions and 1 deletions
--- a/util/udall
+++ b/util/udall
@ -7,7 +7,7 @@ git pull

 if [ -d extend ] ; then
 	for a in  theme addon widget ; do
-		if [ -d $a ]; then
+		if [ -d extend/$a ]; then
 			for b in  `ls extend/$a` ; do
 				echo Updating $b
 				'util/update_'$a'_repo' $b