about summary refs log tree commit diff homepage
path: root/scripts/build/build.sh
AgeCommit message (Collapse)Author
2019-03-17Fix `true` invocation in case docker image could not be pushedMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.