diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make-updates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/make-updates b/tools/make-updates index d4d29ce6..aef0aafa 100755 --- a/tools/make-updates +++ b/tools/make-updates @@ -37,6 +37,7 @@ function add_resource() pushd $output >/dev/null adler32 $1 | tee -a resources2.txt | { read name hash + chmod a+r $name sed '/<\/updates>/i <update type="data" file="'$name'" hash="'$hash'" />' -i resources.xml } popd >/dev/null @@ -47,6 +48,7 @@ function add_music() { adler32 $1 | { read name hash + chmod a+r $name sed '/<\/updates>/i <update type="music" required="no" file="'$name'" hash="'$hash'" />' -i resources.xml } } |