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