diff options
| author | Jack Lloyd <[email protected]> | 2019-06-07 09:47:53 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-06-07 09:47:53 -0400 |
| commit | 762a76edc0240d3028ed17b9fb6e394ab3eac6cf (patch) | |
| tree | 21e60c363e883120504a252cf7d0d4b1d7f27bf0 | |
| parent | 4e653951a56017023f6f36992266e45d61b5a5d2 (diff) | |
Log the configure command line in the makefile
Sometimes useful for debugging
| -rw-r--r-- | src/build-data/makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/build-data/makefile.in b/src/build-data/makefile.in index 52baec88f..9c1d102d4 100644 --- a/src/build-data/makefile.in +++ b/src/build-data/makefile.in @@ -1,3 +1,6 @@ + +# This makefile was generated using '%{command_line}' + # Paths to relevant programs CXX = %{cxx} |