~martin-decky/helenos/rcu

Viewing all changes in revision 753.

  • 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.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: