diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 38980a8f..e2e24fc1 100644 --- a/Makefile.in +++ b/Makefile.in @@ -381,6 +381,7 @@ clean_benchmarks: @$(RM) -f benchmarks/bc/constants.txt @$(RM) -f benchmarks/bc/strings.txt @$(RM) -f benchmarks/bc/functions.txt + @$(RM) -f benchmarks/dc/modexp.txt clean_config: clean clean_benchmarks @printf 'Cleaning config...\n' |