diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index ff9aeee64c0e9687e39e9b1aa2024d8b1e3bd6ca..6add2b5ae434071ee42237c05f3b94cd973c7be1 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -348,7 +348,6 @@ function push_perf_notes() {
 function test_make() {
   run "$MAKE" test_bindist TEST_PREP=YES
   run "$MAKE" V=0 VERBOSE=1 test \
-    BINDIST=YES
     THREADS="$cores" \
     JUNIT_FILE=../../junit.xml
 }