Skip to content
Snippets Groups Projects
Commit 5ed48a2d authored by Giovanni La Mura's avatar Giovanni La Mura
Browse files

Disable offload in pipeline build

parent 28ea93f7
No related branches found
No related tags found
No related merge requests found
...@@ -143,7 +143,7 @@ building_stage: ...@@ -143,7 +143,7 @@ building_stage:
- cat /etc/os-release - cat /etc/os-release
- cd build - cd build
- echo "Configuring with default compilers (MAGMA disabled)..." - echo "Configuring with default compilers (MAGMA disabled)..."
- ./configure --without-magma - ./configure --without-magma --disable-offload
- make clean - make clean
- echo "Building the default configuration..." - echo "Building the default configuration..."
- make -j - make -j
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment