diff --git a/build/pkgs/ecm/spkg-install b/build/pkgs/ecm/spkg-install index 91beb5af3ad..610dd249822 100644 --- a/build/pkgs/ecm/spkg-install +++ b/build/pkgs/ecm/spkg-install @@ -210,7 +210,7 @@ else fi echo " --prefix=\"$SAGE_LOCAL\"" echo " --libdir=\"$SAGE_LOCAL/lib\"" -if [ -n "$SAGE_GMP_CONFIGURE" ]; then +if [ -n "$SAGE_CONFIGURE_GMP" ]; then echo " --with-gmp=\"$SAGE_LOCAL\"" fi