mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2025-01-17 18:12:01 +01:00
echo so I know it's doing something
This commit is contained in:
parent
2465017e46
commit
64276b041e
1 changed files with 2 additions and 1 deletions
|
@ -73,6 +73,7 @@ for LOC in $LOCS; do
|
||||||
done
|
done
|
||||||
done
|
done
|
||||||
|
|
||||||
|
echo "searching for ${#ENG_IDS[*]} unique string ids"
|
||||||
if [ -n "$SEARCH_SOURCE" ]; then
|
if [ -n "$SEARCH_SOURCE" ]; then
|
||||||
IDS="${!ENG_IDS[*]}"
|
IDS="${!ENG_IDS[*]}"
|
||||||
for ID in $IDS; do
|
for ID in $IDS; do
|
||||||
|
@ -92,4 +93,4 @@ for LOC in $LOCS; do
|
||||||
for ID in $IDS; do
|
for ID in $IDS; do
|
||||||
grep -q $ID $LOC || echo "$ID not found in $LOC"
|
grep -q $ID $LOC || echo "$ID not found in $LOC"
|
||||||
done
|
done
|
||||||
done
|
done
|
||||||
|
|
Loading…
Reference in a new issue