suppress exmm (but keep icb) from coverage.

2020-06-02 22:56:13 +02:00
parent 6491e7774a
commit face704209
1 changed files with 1 additions and 1 deletions
@@ -159,7 +159,7 @@ jobs:
    script: |
      mkdir -p build && cd build                                                   \
      &&                                                                           \
-      cmake -DEXAMPLES=ON -DMPI=ON -DICBEXMM=ON -DCOVERALLS=ON .. &> cmake.log     \
+      cmake -DEXAMPLES=ON -DMPI=ON -DICB=ON -DCOVERALLS=ON ..     &> cmake.log     \
      &&                                                                           \
      tail -n 50 cmake.log                                                         \
      &&                                                                           \