* device/lib/Makefile.in, device/lib/ds390/Makefile.in,

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

diff --git a/device/lib/Makefile.in b/device/lib/Makefile.in
index 46b4d97eb6d9529a69e112bccb080717df94e824..7aa500004b46b52fa6c56c73641970e3b3cdac4a 100644 (file)
--- a/device/lib/Makefile.in
+++ b/device/lib/Makefile.in
@@ -322,15 +322,9 @@ $(PORT):
        mkdir -p $(PORT)
 
 port-specific-objects:
-ifneq ($(LIB_TYPE), LIB)
        -if [ -f $(PORT)/Makefile ]; then \
          $(MAKE) -C $(PORT) PORT=$(PORT); \
        fi
-else
-       -if [ -f $(PORT)/Makefile ]; then \
-         $(MAKE) -C $(PORT) PORT=$(PORT); \
-        fi
-endif
 
 port-specific-objects-pic16:
        -if [ -f $(PORT)/Makefile ]; then \