don't know why yet, but must update PSW in ClockIrqHandler

[fw/sdcc] / device / lib / Makefile.in

diff --git a/device/lib/Makefile.in b/device/lib/Makefile.in
index 1d3ad65542bb0e90919bae388e3b1d6a9fb02cb3..639d3bbeaf5bc249eeaeed22e49f1a486f8ff7f4 100644 (file)
--- a/device/lib/Makefile.in
+++ b/device/lib/Makefile.in
@@ -73,13 +73,14 @@ models:
        done
 
 modelDS390:
-       test -d ds390 || mkdir ds390
-       rm -f ds390/*.lib
-       $(MAKE) CFLAGS="$(CFLAGS) -mds390 --model-flat24 \
-               --stack-10bit" objects
-       cd ds390; $(MAKE)
-       cp *.lib ds390
-       mv *.rel *.asm *.cdb ds390
+       if [ "`grep ds390 ../../ports.build`" = ds390 ]; then \
+               test -d ds390 || mkdir ds390; \
+               rm -f ds390/*.lib; \
+               $(MAKE) CFLAGS="$(CFLAGS) -mds390" objects; \
+               cd ds390; $(MAKE); cd ..; \
+               cp *.lib ds390; \
+               mv *.rel *.asm *.cdb ds390; \
+       fi
 
 # Compiling and installing everything and runing test
 # ---------------------------------------------------