Module: xenomai-rpm
Branch: for-upstream
Commit: 47dac49c71e89b684203e854d1b0172ecacbc555
URL:
http://git.xenomai.org/?p=xenomai-rpm.git;a=commit;h=47dac49c71e89b684203e854d1b0172ecacbc555
Author: Philippe Gerum r...@xenomai.org
Date: Wed Sep 1 18:01:01 2010 +0200
nucleus/sched: fix race
Module: xenomai-rpm
Branch: for-upstream
Commit: 38f2ca83a8e63cc94eaa911ff1c0940c884b5078
URL:
http://git.xenomai.org/?p=xenomai-rpm.git;a=commit;h=38f2ca83a8e63cc94eaa911ff1c0940c884b5078
Author: Philippe Gerum r...@xenomai.org
Date: Wed Sep 1 18:37:16 2010 +0200
nucleus/sched: raise
Module: xenomai-rpm
Branch: for-upstream
Commit: e959040d6ebe5f6edb4e2eef14d139df9dc49317
URL:
http://git.xenomai.org/?p=xenomai-rpm.git;a=commit;h=e959040d6ebe5f6edb4e2eef14d139df9dc49317
Author: Philippe Gerum r...@xenomai.org
Date: Wed Sep 1 20:08:28 2010 +0200
nucleus: fix build issue