Vasily 6895a44ddb Refactor build_linux.sh into configure.sh ...

This moves all the error handling and setup into configure.sh, for a
cleaner script.

2019-04-17 20:51:34 +02:00

..

build_linux.sh

Refactor build_linux.sh into configure.sh

2019-04-17 20:51:34 +02:00

configure.sh

Refactor build_linux.sh into configure.sh

2019-04-17 20:51:34 +02:00

format.sh

Add execute permissions on all scripts

2019-03-19 16:10:35 +01:00

run-clang-tidy.sh

Add execute permissions on all scripts

2019-03-19 16:10:35 +01:00

run-with-library.sh

Set execute permissions on the build and run scripts

2019-03-19 16:10:35 +01:00

verify_formatting.sh

Add execute permissions on all scripts

2019-03-19 16:10:35 +01:00