Angus Gratton b7fc16a408 build system: Updating project Makefile should trigger a full rebuild ... Project Makefile can set CFLAGS, macro defines, etc.		2017-07-13 10:51:24 +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	build system: Updating project Makefile should trigger a full rebuild	2017-07-13 10:51:24 +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