Index: device/include/mcs51/lint.h =================================================================== --- device/include/mcs51/lint.h (revision 7000) +++ device/include/mcs51/lint.h (working copy) @@ -48,6 +48,7 @@ #define __interrupt(x) #define __naked +#if 0 #define data #define near #define idata @@ -63,6 +64,7 @@ #define using(x) #define interrupt(x) #define naked +#endif /* The tool Splint is available at http://www.splint.org Other tools might also be used for statically checking c-sources. Index: device/lib/incl.mk =================================================================== --- device/lib/incl.mk (revision 7000) +++ device/lib/incl.mk (working copy) @@ -96,4 +96,4 @@ assert.c \ time.c -MODELS = small medium large +MODELS = small huge large Index: device/lib/Makefile.in =================================================================== --- device/lib/Makefile.in (revision 7000) +++ device/lib/Makefile.in (working copy) @@ -166,7 +166,7 @@ endif ifeq ($(OPT_DISABLE_MCS51), 0) -TARGETS += models small-mcs51-stack-auto +TARGETS += models model-mcs51-stack-auto endif ifeq ($(OPT_DISABLE_PIC14), 0)