diff options
-rwxr-xr-x | util/udall | 17 | ||||
-rw-r--r-- | version.inc | 2 |
2 files changed, 18 insertions, 1 deletions
diff --git a/util/udall b/util/udall new file mode 100755 index 000000000..d1ff1c482 --- /dev/null +++ b/util/udall @@ -0,0 +1,17 @@ +#!/bin/bash +if [ ! -d .git ]; then + echo Unable to update `pwd` + exit +fi +git pull + +if [ -d extend ] ; then + for a in theme addon widget ; do + if [ -d $a ]; then + for b in `ls extend/$a` ; do + echo Updating $b + 'util/update_'$a'_repo' $b + done + fi + done +fi diff --git a/version.inc b/version.inc index 62e5c5f1c..435a0e60c 100644 --- a/version.inc +++ b/version.inc @@ -1 +1 @@ -2016-03-12.1333H +2016-03-13.1334H |