Changeset 058b021 in mainline for kernel/generic/src/main/kinit.c

Timestamp:

2006-11-30T13:43:00Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c55dd58

Parents:

0cf1dcf

Message:

rd work

File:

• kernel/generic/src/main/kinit.c (modified) (1 diff)

kernel/generic/src/main/kinit.c

@@ -181 +181 @@
                                 ipc_phone_0 = &utask->answerbox;
                 } else {
-                        bool rd = init_rd((void *) init.tasks[i].addr);
+                        int rd = init_rd((void *) init.tasks[i].addr);
                         
-                        if (!rd)
+                        if (rd != RE_OK)
                                 printf("Init binary %zd not used.\n", i);
                 }