diff options
-rw-r--r-- | update/commit.txt | 2 | ||||
-rwxr-xr-x | update/createnew.sh | 2 | ||||
-rw-r--r-- | update/musiccommit.txt | 2 | ||||
-rwxr-xr-x | update/update.sh | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/update/commit.txt b/update/commit.txt index 6de19ea..a74ed52 100644 --- a/update/commit.txt +++ b/update/commit.txt @@ -1 +1 @@ -fd1c9047a9d17e22c2bbbbb07e44b601df4b916f +b034c99a3ab3015f211e92809c40902a362f6845 diff --git a/update/createnew.sh b/update/createnew.sh index 6cd182c..6dac279 100755 --- a/update/createnew.sh +++ b/update/createnew.sh @@ -13,7 +13,7 @@ mkdir upload rm files/evol.zip cd ../../gittorious/clientdata-beta -find -iregex ".+[.]\(xml\|png\|tmx\|ogg\|txt\)" -printf "%P\n" | zip -@ ../../privtools/update/files/evol.zip +find -iregex ".+[.]\(xml\|png\|tmx\|ogg\|txt\|po\|tsx\)" -printf "%P\n" | zip -@ ../../privtools/update/files/evol.zip git log --pretty=oneline -n 1 | awk '{print $1}' >../../privtools/update/commit.txt cd $dir/files diff --git a/update/musiccommit.txt b/update/musiccommit.txt index a7c3e19..f94e032 100644 --- a/update/musiccommit.txt +++ b/update/musiccommit.txt @@ -1 +1 @@ -f581264b50e38e409b5d0dc890ed1bae4749c1d9 +1452ba6cff39b0d77adfb3541e46cfdf39093332 diff --git a/update/update.sh b/update/update.sh index c2a8c12..fe98506 100755 --- a/update/update.sh +++ b/update/update.sh @@ -18,7 +18,7 @@ head=`git log --pretty=oneline -n 1 | awk '{print $1}'` u1=`echo ${previous} | cut -c 1-7` u2=`echo ${head} | cut -c 1-7` git log --name-status ${previous}..${head} | awk '/^(A|M)\t/ {print $2}' | \ - grep -e "[.]\(xml\|png\|tmx\|ogg\|txt\|po\)" | sort | uniq | \ + grep -e "[.]\(xml\|png\|tmx\|ogg\|txt\|po\|tsx\)" | sort | uniq | \ xargs zip -9 -r ../../privtools/update/files/evol-${u1}..${u2}.zip cd $dir/files |