diff options
| author | Mario Vavti <mario@mariovavti.com> | 2018-05-04 11:59:46 +0200 |
|---|---|---|
| committer | Mario Vavti <mario@mariovavti.com> | 2018-05-04 11:59:46 +0200 |
| commit | a0cefe7fdbf3d3336402ecc59aabe4df508a19a6 (patch) | |
| tree | 960f419669b809a7ffa68ed4a45bf63a18bf7ba2 /util/update_widget_repo | |
| parent | 998dd582068a2ffd31f3388aaefe4d639d7eb9c0 (diff) | |
| parent | 56113b0bde6ea78f1ac0c61eb6ca9324900035c2 (diff) | |
| download | volse-hubzilla-a0cefe7fdbf3d3336402ecc59aabe4df508a19a6.tar.gz volse-hubzilla-a0cefe7fdbf3d3336402ecc59aabe4df508a19a6.tar.bz2 volse-hubzilla-a0cefe7fdbf3d3336402ecc59aabe4df508a19a6.zip | |
Merge remote-tracking branch 'mike/master' into dev
Diffstat (limited to 'util/update_widget_repo')
| -rwxr-xr-x | util/update_widget_repo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/update_widget_repo b/util/update_widget_repo index 045122619..8ef5eba27 100755 --- a/util/update_widget_repo +++ b/util/update_widget_repo @@ -25,6 +25,10 @@ for a in "${filelist[@]}" ; do # echo 'ignoring git' continue; fi + if [ ! -d ../extend/widget/$1/$base ]; then +# echo $a 'not a directory' + continue; + fi if [ -x $base ]; then # echo $base 'file exists' continue; |