*** empty log message ***
[fw/sdcc] / configure
index d7f774bb895d515a74a9cb103981bca44587006c..8939cada45d7d13d9a847ae3b4396155990572b9 100755 (executable)
--- a/configure
+++ b/configure
@@ -2722,12 +2722,14 @@ echo ds390 >>ports.all
 if test "$enable_ds390_port" = "no"; then
     cat >> confdefs.h <<EOF
 #define OPT_DISABLE_DS390 1
+#define OPT_DISABLE_TININative 1
 EOF
 
 else
     echo ds390 >>ports.build
     cat >> confdefs.h <<EOF
 #define OPT_DISABLE_DS390 0
+#define OPT_DISABLE_TININative 0
 EOF
 
 fi
@@ -2799,9 +2801,9 @@ if test "$enable_xa51_port" = "no"; then
 EOF
 
 else
-    #echo xa51 >>ports.build // not yet
+    echo xa51 >>ports.build
     cat >> confdefs.h <<EOF
-#define OPT_DISABLE_XA51 1 // not yet
+#define OPT_DISABLE_XA51 0
 EOF
 
 fi