diff options
Diffstat (limited to 'Configurations/unix-Makefile.tmpl')
| -rw-r--r-- | Configurations/unix-Makefile.tmpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index 935210941f..a80e78e86f 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -1151,9 +1151,9 @@ providers/fips.module.sources.new: \ ( \ srcdir=`cd $(SRCDIR); pwd`; \ cd sources-tmp \ - && $$srcdir/Configure enable-fips \ + && $$srcdir/Configure --banner=Configured enable-fips \ && ./configdata.pm --query 'get_sources("providers/fips")' > sources1 \ - && $$srcdir/Configure enable-fips no-asm \ + && $$srcdir/Configure --banner=Configured enable-fips no-asm \ && ./configdata.pm --query 'get_sources("providers/fips")' > sources2 \ ) ( \ |