fix build location

trilinos · Oct 25, 2023 · 6838ada · 6838ada
1 parent 179285f
commit 6838ada
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -79,12 +79,12 @@ jobs:
     # From Sam's prototype
     # https://github.com/sebrowne/Trilinos/blob/f6119bf7906aba7ecde4027733ef93af872f96a0/.github/workflows/codeql.yml
     - run: |
-        bash -l -c "mkdir -p trilinos_build && cd trilinos_build" 
+        bash -l -c "mkdir -p trilinos_build" 
         bash -l -c "source /etc/profile.d/modules-init.sh ; ../Trilinos/packages/framework/get_dependencies.sh --container"
         bash -l -c "source /etc/profile.d/modules-init.sh ; source ../Trilinos/packages/framework/GenConfig/gen-config.sh --list-configs"
         bash -l -c "source /etc/profile.d/modules-init.sh ; source ../Trilinos/packages/framework/GenConfig/gen-config.sh rhel8_gcc-openmpi_debug_shared_no-kokkos-arch_no-asan_complex_no-fpic_mpi_no-pt_no-rdc_no-uvm_deprecated-on_all ../Trilinos"
-        bash -l -c "source /etc/profile.d/modules-init.sh ; cmake -DTrilinos_ENABLE_TESTS=OFF -DTrilinos_ENABLE_Krino=OFF ../Trilinos"
-        bash -l -c "source /etc/profile.d/modules-init.sh ; make -j4"
+        bash -l -c "source /etc/profile.d/modules-init.sh ; cd trilinos_build && cmake -DTrilinos_ENABLE_TESTS=OFF -DTrilinos_ENABLE_Krino=OFF ../Trilinos"
+        bash -l -c "source /etc/profile.d/modules-init.sh ; ninja"
 
       # bash -l -c "module list"
       # find /__w/_tool/CodeQL/2.15.1/x64/codeql/tools/linux64