bc1d885bd1
Ran ./utils/git-sync-deps already, removed some unneeded files
13 lines
315 B
Bash
Executable File
13 lines
315 B
Bash
Executable File
#!/bin/bash
|
|
set -eux
|
|
|
|
cmake -D CMAKE_BUILD_TYPE=Debug
|
|
cmake --build . --config Debug --clean-first
|
|
ctest -C Debug --output-on-failure -E 'dfa|exhaustive|random'
|
|
|
|
cmake -D CMAKE_BUILD_TYPE=Release
|
|
cmake --build . --config Release --clean-first
|
|
ctest -C Release --output-on-failure -E 'dfa|exhaustive|random'
|
|
|
|
exit 0
|