diff options
author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2007-12-22 11:34:39 +0000 |
---|---|---|
committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2007-12-22 11:34:39 +0000 |
commit | cf3378588cedd2015f8c59b77fcc3fb8f9164ec8 (patch) | |
tree | 95c80e51c9f14ccd95af5da97a560a57bbd87224 /src/chinit.c | |
parent | 6c8aadd17a89d399a8ee2e77d5885f4db3bcab06 (diff) | |
download | ChibiOS-cf3378588cedd2015f8c59b77fcc3fb8f9164ec8.tar.gz ChibiOS-cf3378588cedd2015f8c59b77fcc3fb8f9164ec8.tar.bz2 ChibiOS-cf3378588cedd2015f8c59b77fcc3fb8f9164ec8.zip |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@155 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'src/chinit.c')
-rw-r--r-- | src/chinit.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/chinit.c b/src/chinit.c index e57c0614e..06ee2fc9b 100644 --- a/src/chinit.c +++ b/src/chinit.c @@ -66,7 +66,8 @@ void chSysInit(void) { */
void chSysTimerHandlerI(void) {
- rlist.r_preempt--;
+ if (rlist.r_preempt > 0)
+ rlist.r_preempt--;
#ifdef CH_USE_SYSTEMTIME
rlist.r_stime++;
#endif
|