-
Committer:
Jakub Jermar
-
Date:
2010-12-14 23:15:55 UTC
-
Revision ID:
jakub@jermar.eu-20101214231555-ycr1y1245yrqf2e3
Add a script to check that all supported build profiles build well.
Ideally, before pushing changes to mainline, everyone should run
either:
$ make check [JOBS=desired_level_of_parallelism]
or:
$ tools/check.sh [-j desired_level_of_parallelism]
to see if something broke.