AW: [PATCH] score: Fix pps_fetch()

Hi Sebastian, It is ok. Thx for adding this, I must have removed this "if" accidentally. > Return early only if there was a timeout, otherwise return the PPS info. > > Update #2349. > --- > cpukit/score/src/kern_tc.c | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/c

[PATCH] score: Fix pps_fetch()

Return early only if there was a timeout, otherwise return the PPS info. Update #2349. --- cpukit/score/src/kern_tc.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index c09900f096..2e3709a9ad 100644 --- a/cpukit/scor