[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[FYI] Merge branch 'maint' into master

From: Stefano Lattarini
Subject: [FYI] Merge branch 'maint' into master
Date: Thu, 23 May 2013 21:33:14 +0200

commit a0db09fe9eb8b03415a5dd00ff031f5a17096108
Merge: 439ca6b aba3b0a
Author: Stefano Lattarini <address@hidden>
Date:   Thu May 23 20:49:39 2013 +0200

    Merge branch 'maint'

    * maint:
      tests: avoid few lingering $MAKE redirections
      tests: avoid '$MAKE' redirections, use 'run_make' instead
      tests: avoid use of redirected 'run_make' invocations
      lint: warn against redirected 'run_make' invocations
      comments: next GNU make release 4.0, not 3.83
      tests: fix a potential spurious failure due to global
      HACKING: it's OK to do testsuite refactoring in a micro version

    Signed-off-by: Stefano Lattarini <address@hidden>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]