diff options
| -rw-r--r-- | doc/log.txt | 2 | ||||
| -rwxr-xr-x | misc/config/mkconfig.pl | 4 | ||||
| -rw-r--r-- | misc/gtk/GNUmakefile | 2 | ||||
| -rw-r--r-- | misc/gtk/dsa.cpp | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/doc/log.txt b/doc/log.txt index f64899124..57302d462 100644 --- a/doc/log.txt +++ b/doc/log.txt @@ -4,7 +4,7 @@ - Expand InitializerOptions' language to support on/off switches - Fix definition of OID 2.5.4.8; was accidentally changed in 1.5.9 - Fix possible resource leaks in the mmap allocator - - Slightly optimized buffering in MDx_HashFunction + - Slightly optimized buffering in MDx_HashFunction - Initialization failures are dealt with somewhat better - Add an example implementing Pollard's Rho algorithm - Better option handling in the test/benchmark tool diff --git a/misc/config/mkconfig.pl b/misc/config/mkconfig.pl index 11dbdf0a8..3d646b774 100755 --- a/misc/config/mkconfig.pl +++ b/misc/config/mkconfig.pl @@ -203,7 +203,7 @@ sub print_arch_defines { $ARCH{$_} = $arch; } } - + # Read in a list of submodel aliases and add them to SUBMODEL_ALIAS if(/^<submodel_aliases>$/) { while(1) { @@ -379,7 +379,7 @@ sub print_cc_defines { $CC_DEBUG_FLAGS{$cc} = $1 if(/^debug_flags \"(.*)\"/); $CC_NO_DEBUG_FLAGS{$cc} = $1 if(/^no_debug_flags \"(.*)\"/); $MAKEFILE_STYLE{$cc} = $1 if(/^makefile_style (.*)/); - + # Read in a list of supported CPU types if(/^<arch>$/) { while(1) { diff --git a/misc/gtk/GNUmakefile b/misc/gtk/GNUmakefile index d0e81505b..85f3ca410 100644 --- a/misc/gtk/GNUmakefile +++ b/misc/gtk/GNUmakefile @@ -20,5 +20,5 @@ $(APP): $(OBJS) %.o: %.cpp $(HEADERS) $(CC) $(FLAGS) -c $< -clean: +clean: rm -f $(APP) $(OBJS) diff --git a/misc/gtk/dsa.cpp b/misc/gtk/dsa.cpp index a5471e9c0..ed2289c52 100644 --- a/misc/gtk/dsa.cpp +++ b/misc/gtk/dsa.cpp @@ -289,7 +289,7 @@ static void gen_key() the progress bar. That's because the amount of time between pulses from the library is rather irregular, so the progress bar looks jerky. */ - Botan::UI::set_pulse(gtk_pulse); + Botan::UI::set_pulse(gtk_pulse); /* Not generally recommended, since it's slow and there's not much point. However, *because* it's slow, we'll want to put up a progress bar or |