diff options
Diffstat (limited to 'sources/master')
| -rwxr-xr-x | sources/master/update.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sources/master/update.sh b/sources/master/update.sh index 8d49af9..85c3ee7 100755 --- a/sources/master/update.sh +++ b/sources/master/update.sh @@ -47,6 +47,9 @@ m4 --prefix-builtins \ -D __MIN_COUNT_RELATIONS_PER_TYPE__=$min_count_relations_per_type \ selection.sql | sqlite3 $SELECTION_DB +echo "Selection database contents:" +sqlite3 $SELECTION_DB < ../db/show_selection_stats.sql + echo "`$DATECMD` Update history database..." if [ ! -e $HISTORY_DB ]; then |