diff options
author | Paul Smith <psmith@gnu.org> | 2013-05-22 02:51:45 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-05-22 02:51:45 -0400 |
commit | ecf307bb0b21d3741ef768b98a26e9255158832e (patch) | |
tree | 3d8fd52768f57df9780c06ce39c5fc0db062e612 /main.c | |
parent | a674abe702cc0c017209a3186c32df050ff21f41 (diff) | |
download | gunmake-ecf307bb0b21d3741ef768b98a26e9255158832e.tar.gz |
Force version printing whenever we print the database.
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1390,7 +1390,7 @@ main (int argc, char **argv, char **envp) always_make_flag = always_make_set && (restarts == 0); /* Print version information. */ - if (print_version_flag || print_data_base_flag || ISDB (DB_BASIC)) + if (print_version_flag || ISDB (DB_BASIC)) { print_version (); @@ -3222,9 +3222,10 @@ print_version (void) static void print_data_base () { - time_t when; + time_t when = time ((time_t *) 0); + + print_version (); - when = time ((time_t *) 0); printf (_("\n# Make data base, printed on %s"), ctime (&when)); print_variable_data_base (); |