* src/pic16/glue.c (pic16_print(G)PointerType): do not flush

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

diff --git a/device/lib/Makefile.in b/device/lib/Makefile.in
index 3539dc77ef59d2b33e859390c5f00160e2124ab0..f88dbf831732456c06855b637ae14ded86cc35db 100644 (file)
--- a/device/lib/Makefile.in
+++ b/device/lib/Makefile.in
@@ -255,7 +255,7 @@ port-specific-objects:
        fi
 
 port-specific-objects-pic16:
-       if [ -d $(PORT) ]; then \
+       -if [ -d $(PORT) ]; then \
          mkdir -p $(PORT)/bin; \
          $(MAKE) -C $(PORT); \
          cp -f $(PORT)/bin/*.o $(PORT)/bin/*.lib $(PORTDIR); \