Fix rust_configure_args

pta2002 · pta2002 · commit c640a44980e6 · 2020-10-03T10:51:20.000+01:00
diff --git a/src/ci/run.sh b/src/ci/run.sh
@@ -132,7 +132,7 @@ if [ "$RUN_CHECK_WITH_PARALLEL_QUERIES" != "" ]; then
   rm -rf build
 fi
 
-"$SRC"/configure "$RUST_CONFIGURE_ARGS"
+"$SRC"/configure $RUST_CONFIGURE_ARGS
 
 retry make prepare
 
