Statistics
| Branch: | Tag: | Revision:

root / devel @ 58bcf276

Name Size
build_chroot 10.5 kB
check-split-query 2.2 kB
check_copyright 2.5 kB
release 2.5 kB
review 4.6 kB
upload 3.8 kB
webserver 1.6 kB

Latest revisions

# Date Author Comment
58bcf276 03/07/2014 09:35 am Petr Pudlak

devel: Make the built schroots rsync-able, if available

This speeds down transferring them to buildbots, at a negligible size
cost.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>
5349519d 02/26/2014 02:06 pm Petr Pudlak

Require lifted-base >= 0.1.2 for lifted IORef operations

This allows to use them in any IO-based monad.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>
77dac68c 02/24/2014 12:13 pm Michele Tartara

Improve locale generation instructions

Precise has a different way to handle locales w.r.t. debian distributions.
This patch adds code to make the distinction.

Signed-off-by: Michele Tartara <>
Reviewed-by: Klaus Aehlig <>...
f6a6c79b 02/24/2014 12:13 pm Michele Tartara

Add missing package to build_chroot

A package was missing both from the Precise chroot and from the generic chroot.

Signed-off-by: Michele Tartara <>
Reviewed-by: Klaus Aehlig <>
af8492ff 02/20/2014 11:11 am Michele Tartara

Add precise to build_chroot

Modify the build_chroot script to support Ubuntu Precise as a target
environment.

Signed-off-by: Michele Tartara <>
Reviewed-by: Helga Velroyen <>
fb1a5271 02/14/2014 11:46 am Petr Pudlak

Add dependencies for lifted-base to build_chroot

.. for both Debian distribution. Also check that the library is present
during the configuration step.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>
28de1c3c 02/10/2014 03:31 pm Jose A. Lopes

Fix 'devel/check_copyright' remote branch detection

... but do not try to check the copyrights for local branches which do
not have a proper remote branch, which would fail at a later step
anyway.

Signed-off-by: Jose A. Lopes <>
Reviewed-by: Helga Velroyen <>
b13fa4c4 01/30/2014 06:05 pm Jose A. Lopes

Add script that checks the copyrights of a dirty local repo

Script to check whether the local dirty commits are changing files
which do not have an updated copyright.

The script will determine your current remote branch and local branch,
from which it will extract the commits to analyze. Afterwards, for...
918512c0 01/27/2014 10:50 am Jose A. Lopes

Fix chroot for sid to include the development tools

Signed-off-by: Jose A. Lopes <>
Reviewed-by: Klaus Aehlig <>
f3ac6f36 12/19/2013 01:59 pm Klaus Aehlig

Merge branch 'stable-2.10' into master

  • stable-2.10
    Version bump for 2.10.0~rc1
    Update NEWS for 2.10.0 rc1 release
    Fix pylint 0.26.0/Python 2.7 warning
    Update INSTALL and devnotes for 2.10 release
  • stable-2.9
    Bump revision for 2.9.2
    Update NEWS for 2.9.2 release...

View revisions

Also available in: Atom