--- a/kernel/make.py	Fri Dec 06 13:50:38 2013 +0100
+++ b/kernel/make.py	Mon Dec 09 19:00:21 2013 +0100
@@ -5,10 +5,15 @@
 sys.path.insert(0, os.path.join('..', 'python'))
 import zcc
 
-arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3', 'schedule.c3', 'arch_arm.c3']
-arglist += ['--target', 'arm']
-arglist += ['--dumpasm', '--dumpir']
-arglist += ['--log', 'debug']
+def make():
+    arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3']
+    arglist += ['schedule.c3', 'arch_arm.c3']
+    arglist += ['--target', 'arm']
+    arglist += ['--dumpasm', '--dumpir']
+    arglist += ['--log', 'debug']
 
-args = zcc.parser.parse_args(arglist)
-zcc.main(args)
+    args = zcc.parser.parse_args(arglist)
+    zcc.main(args)
+
+if __name__ == '__main__':
+    make()