diff --git a/experimental/sample-configs/mpfr/mpfr.sample b/experimental/sample-configs/mpfr/mpfr.sample index 0ffdfda..e95fed5 100644 --- a/experimental/sample-configs/mpfr/mpfr.sample +++ b/experimental/sample-configs/mpfr/mpfr.sample @@ -1 +1,2 @@ -./config --with-gmp=/usr/local +./configure --with-gmp=/usr/local +