diff kernel/schedule.c3 @ 293:6aa721e7b10b

Try to improve build sequence
author Windel Bouwman
date Thu, 28 Nov 2013 20:39:37 +0100
parents
children 9417caea2eb3
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/schedule.c3	Thu Nov 28 20:39:37 2013 +0100
@@ -0,0 +1,13 @@
+
+module schedule.c3;
+
+func void executeNext()
+{
+    process_t *old;
+
+    if (old != current)
+    {
+        execute(current);
+    }
+}
+