Readd CI debuginfo-level-std directive as bootstrap has to set a level based on the default values of rust.debug[...] keys

Author: adamgemmell

src/ci/run.sh

@@ -120,6 +120,8 @@ if [ "$DEPLOY$DEPLOY_ALT" = "1" ]; then
 
   if [ "$DEPLOY_ALT" != "" ] && isLinux; then
     RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --debuginfo-level=2"
+  else
+    RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --debuginfo-level-std=1"
   fi
 
   if [ "$NO_LLVM_ASSERTIONS" = "1" ]; then