diff --git a/src/configure b/src/configure index 724b4aa1447d3385ad818ddf97918e2616c29fb8..2e1e2df81454ee389cf5f6c1dee8a21a1a1fe043 100755 --- a/src/configure +++ b/src/configure @@ -461,7 +461,6 @@ export CC=gcc export VER_CDF=${VER_CDF:-CDFAUTO} export NEED_TOOLS=NO export MNHENV=${MNHENV:-" -export PATH=/opt/gcc-9.4.0/bin:\$PATH export SPLL=spll_new "} ;; @@ -474,7 +473,6 @@ export SPLL=spll_new export VER_CDF=${VER_CDF:-CDFAUTO} export NEED_TOOLS=NO export MNHENV=${MNHENV:-" -export PATH=/opt/gcc-9.4.0/bin:\$PATH export SPLL=spll_new "} ;; @@ -495,7 +493,6 @@ export SPLL=spll_new ;; 22.04) export MNHENV=${MNHENV:-" -export PATH=/opt/gcc-9.4.0/bin:\$PATH export SPLL=spll_new "} ;;