diff --git a/build-support/factor.sh b/build-support/factor.sh index ba2a15e171..dbf954bbb6 100755 --- a/build-support/factor.sh +++ b/build-support/factor.sh @@ -487,7 +487,7 @@ make_clean() { } make_factor() { - invoke_make NO_UI=$NO_UI $MAKE_TARGET -j5 + invoke_make CC=$CC CXX=$CXX NO_UI=$NO_UI $MAKE_TARGET -j5 } make_clean_factor() {