* src/pic16/device.c (pic16_dump_usection): do not reserve 0 bytes,
[fw/sdcc] / Makefile.in
index 43da4eac279bc20314a9498ece3c2074a2a62932..6610643c6d058d19fe56e73a3876e723aca9900d 100644 (file)
@@ -15,7 +15,7 @@ SDCC_LIBS     = support/makebin
 SDCC_DOC        = doc
 
 # Parts that are not normally compiled but need to be cleaned
-SDCC_EXTRA      = support/regression
+SDCC_EXTRA      = support/regression support/valdiag
 
 SDCC_PACKIHX   = support/packihx
 SDCC_LIBRARIAN = support/librarian
@@ -100,7 +100,7 @@ sdcc-device-lib: sdcc-cc sdcc-aslink
 
 sdcc-device-tini:
        $(MAKE) -C device/include
-       $(MAKE) -C device/lib modelDS390
+       $(MAKE) -C device/lib model-ds390 model-ds400
 
 # doc depends on latex and latex2html
 sdcc-doc:
@@ -129,7 +129,7 @@ install-tini:
        @for pkg in $(PKGS_TINI); do\
          $(MAKE) -C $$pkg install ;\
        done
-       $(MAKE) -C device/lib installDS390
+       $(MAKE) -C device/lib install