diff options
| author | lloyd <[email protected]> | 2008-11-07 00:46:15 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2008-11-07 00:46:15 +0000 |
| commit | f67dfb9142dfef08ec102fbb6fd65745e8b19557 (patch) | |
| tree | 6331b5faeee65bb142a7d6e0198a28baf0197ef1 /configure.pl | |
| parent | 681b95b870148b7354995197bc923ab3b7d887db (diff) | |
Print a message that a makefile was created, so it's clear what to do
Diffstat (limited to 'configure.pl')
| -rwxr-xr-x | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index f97185c7c..7ef33f905 100755 --- a/configure.pl +++ b/configure.pl @@ -2027,7 +2027,7 @@ sub generate_makefile { process_template($template, $$config{'makefile'}, $config); - #autoconfig('Created ' . $$config{'makefile'}); + autoconfig("Created ${make_style}-style makefile in $$config{'makefile'}"); } ################################################## |