diff options
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; |