|
build.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
check_source.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
coverage_more.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
|
coverage.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
meta_builds.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
printinfo.sh
|
move ci scripts to .ci/
|
2017-10-19 09:54:47 +02:00 |
|
run.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
testbuild.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
|
valgrind.sh
|
fix paths
|
2017-10-19 09:54:47 +02:00 |
