diff --git a/tools/unix/external_resources.sh b/tools/unix/external_resources.sh new file mode 100755 index 0000000000..d947c745c0 --- /dev/null +++ b/tools/unix/external_resources.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +FILES=( World.mwm \ + WorldCoasts.mwm \ + 01_dejavusans.ttf \ + 02_wqy-microhei.ttf \ + 03_jomolhari-id-a3d.ttf \ + 04_padauk.ttf \ + 05_khmeros.ttf \ + 06_code2000.ttf ) + +for file in ${FILES[*]}; do + stat -c "%n %s" $file +done diff --git a/tools/unix/planet.sh b/tools/unix/planet.sh index 5e2accfbe8..34452ba8f3 100755 --- a/tools/unix/planet.sh +++ b/tools/unix/planet.sh @@ -125,8 +125,8 @@ else fi fi -# need link to generated coastlines file -ln -s -f $INTCOASTSDIR/WorldCoasts.mwm.tmp $INTDIR/WorldCoasts.mwm.tmp +# make a working copy of generated coastlines file +cp $INTCOASTSDIR/WorldCoasts.mwm.tmp $INTDIR/WorldCoasts.mwm.tmp if [[ $1 == "--generate" || $1 == "--full" ]]; then @@ -174,4 +174,11 @@ if [[ $1 == "--generate" || $1 == "--continue" || $1 == "--full" ]]; then # Generate search index for World $GENERATOR_TOOL -data_path=$DATA_PATH -generate_search_index -output=World + # Update countries list + $GENERATOR_TOOL -generate_update + + # Update external resources + pushd $DATA_PATH + $MY_PATH/external_resources.sh > external_resources.txt + popd fi