commit 008cf05157943ad6b28c62a61da46be0c53802aa
author Geoffrey Martin-Noble <gcmn@google.com> Thu Jan 02 12:09:22 2020 -0800
committer GitHub <noreply@github.com> Thu Jan 02 12:09:22 2020 -0800
tree 920f9565fa63a8e8291179d1bcd559bcb401a384
parent 15397d90523d61ef9359838d6488d213e036ca6a

Use cmake build script in cmake CI (#298)

This makes it easier to do the same thing by manually running the script.

.github/workflows/cmake_build.yml

diff --git a/.github/workflows/cmake_build.yml b/.github/workflows/cmake_build.yml
index fbacacf..3a42113 100644
--- a/.github/workflows/cmake_build.yml
+++ b/.github/workflows/cmake_build.yml
@@ -40,7 +40,4 @@
       - name: Updating submodules
         run: git submodule update --init --depth 1000 --jobs 8
       - name: Building with cmake
-        run: |
-          mkdir build && cd build
-          cmake -DIREE_BUILD_COMPILER=OFF -DIREE_BUILD_TESTS=ON -DIREE_BUILD_SAMPLES=OFF -DIREE_BUILD_DEBUGGER=OFF ..
-          cmake --build .
+        run: ./build_tools/scripts/cmake_build.sh