Vasily d0a2e15dbf Remove run-with-library.sh file from Linux builds ...

No longer necessary after adding '-Wl,-rpath,\'\$$ORIGIN\''.

2019-04-22 09:56:50 +02:00

..

build_linux.sh

Remove run-with-library.sh file from Linux builds

2019-04-22 09:56:50 +02:00

configure.sh

Replace single quotes with double quotes

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

verify_formatting.sh

Add execute permissions on all scripts

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