diff kernel/make.py @ 305:0615b5308710

Updated docs
author Windel Bouwman
date Fri, 06 Dec 2013 13:50:38 +0100
parents 158068af716c
children b145f8e6050b
line wrap: on
line diff
--- a/kernel/make.py	Fri Dec 06 12:45:02 2013 +0100
+++ b/kernel/make.py	Fri Dec 06 13:50:38 2013 +0100
@@ -7,7 +7,7 @@
 
 arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3', 'schedule.c3', 'arch_arm.c3']
 arglist += ['--target', 'arm']
-arglist += ['--dumpasm']
+arglist += ['--dumpasm', '--dumpir']
 arglist += ['--log', 'debug']
 
 args = zcc.parser.parse_args(arglist)