Statistics
| Branch: | Tag: | Revision:

root / devel @ 13d26b66

Name Size
build_chroot 10.3 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
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...
c486fb6c 12/16/2013 12:37 pm Thomas Thrainer

Merge branch 'stable-2.9' into stable-2.10

  • stable-2.9
    Bump revision for 2.9.2
    Update NEWS for 2.9.2 release
    Pass hvparams to GetInstanceInfo
    Adapt parameters that moved to instance variables
    Avoid lines longer than 80 chars
    SingleNotifyPipeCondition: don't share pollers...

View revisions

Also available in: Atom