diff options
Diffstat (limited to 'src/lib/config.print.source.sh')
| -rw-r--r-- | src/lib/config.print.source.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/config.print.source.sh b/src/lib/config.print.source.sh index bad29ef..7b91b60 100644 --- a/src/lib/config.print.source.sh +++ b/src/lib/config.print.source.sh @@ -36,6 +36,7 @@ print_config() { print_shell_assignment RANDOM_SEED "$RANDOM_SEED" print_shell_assignment SHUFFLE "$SHUFFLE" print_shell_assignment SPLASH_PAGE "$SPLASH_PAGE" + print_shell_assignment STATS_PAGE "$STATS_PAGE" print_shell_assignment TARBALL_INCLUDE "$TARBALL_INCLUDE" print_shell_assignment TARBALL_SUFFIX "$TARBALL_SUFFIX" print_shell_assignment TAR_TIMEOUT "$TAR_TIMEOUT" |