diff options
Diffstat (limited to 'tools/mbench/Makefile')
-rw-r--r-- | tools/mbench/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mbench/Makefile b/tools/mbench/Makefile index 826f2862a..a5636ca95 100644 --- a/tools/mbench/Makefile +++ b/tools/mbench/Makefile @@ -33,7 +33,7 @@ CP=cp -f MV=mv -f GMP=/usr -MPFR=$(PWD)/../.. +MPFR=$(PWD)/../../src PARI=$(GMP) NTL=$(GMP) CLN=$(GMP) |