Angus Gratton b88c8d19fd Merge branch 'bugfix/project_makefile_recompile' into 'master' ...

build system: Updating project Makefile should trigger a full rebuild

See merge request !990

2017-07-20 10:10:00 +08:00

..

build_examples.sh

CI: Work around problem with running the initial 'make clean' in parallel (#18)

2017-07-07 11:03:25 +08:00

configure_ci_environment.sh

CI: Fix the unbound variables in scripts

2017-07-06 18:52:08 +08:00

get-full-sources.sh

CI: Fix the getting sources

2017-07-06 16:48:07 +08:00

mirror-list.txt

CI: Add script for synchronization of the local mirrors for submodules

2017-06-30 12:07:06 +08:00

mirror-submodule-update.sh

CI: Fix the getting sources

2017-07-06 16:48:07 +08:00

mirror-synchronize.sh

CI: Add script for synchronization of the local mirrors for submodules

2017-06-30 12:07:06 +08:00

test_build_system.sh

Merge branch 'bugfix/project_makefile_recompile' into 'master'

2017-07-20 10:10:00 +08:00

test_configure_ci_environment.sh

CI: Move the ci-related staff to a separate directory

2017-06-30 11:57:07 +08:00