Disabled spawn for mingw

[fw/sdcc] / src / SDCC.lex

diff --git a/src/SDCC.lex b/src/SDCC.lex
index 134615e14e0aeee03faeab03280079a6eb6865a6..cd19d787befd8efc7dc4bc4b1fefeb466818bdce 100644 (file)
--- a/src/SDCC.lex
+++ b/src/SDCC.lex
@@ -435,6 +435,10 @@ int process_pragma(char *s)
           (*s != '\n')) 
        s++ ;    
 
+    /* First give the port a chance */
+    if (port->process_pragma && !port->process_pragma(cp))
+       return 0;
+
     /* now compare and do what needs to be done */
     if (strncmp(cp,PRAGMA_SAVE,strlen(PRAGMA_SAVE)) == 0) {
        doPragma(P_SAVE,cp+strlen(PRAGMA_SAVE));