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 | |
parent | a674abe702cc0c017209a3186c32df050ff21f41 (diff) | |
download | make-ecf307bb0b21d3741ef768b98a26e9255158832e.tar.gz make-ecf307bb0b21d3741ef768b98a26e9255158832e.tar.bz2 make-ecf307bb0b21d3741ef768b98a26e9255158832e.zip |
Force version printing whenever we print the database.
-rw-r--r-- | ChangeLog | 1 | ||||
-rw-r--r-- | NEWS | 8 | ||||
-rw-r--r-- | main.c | 7 |
3 files changed, 13 insertions, 3 deletions
@@ -6,6 +6,7 @@ in the initial batch of flags. Do not allow any flags with options in that batch. If there are only non-simple flags MAKEFLAGS begins with ' '. + (print_data_base): Print the version. Fixes part of Savannah #35336. * read.c (eval_buffer): Initialize lineno. @@ -74,6 +74,14 @@ http://sv.gnu.org/bugs/index.php?group=make&report_id=111&fix_release_id=101&set GNU make-specific flags to allow your makefile to be portable to other versions of make. GNU make never sets or modifies GNUMAKEFLAGS. +* Behavior of MAKEFLAGS and MFLAGS is more rigorously defined. All simple + flags are grouped together in the first word of MAKEFLAGS. No options that + accept arguments appear there. If no simple flags are present MAKEFLAGS + begins with a space. MFLAGS never begins with "- ". + +* Setting the -r and -R options in MAKEFLAGS inside a makefile now works as + expected, removing all built-in rules and variables, respectively. + * On failure, the makefile name and linenumber of the recipe that failed are shown. @@ -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 (); |