*** empty log message ***
[fw/sdcc] / configure
index 39e206cbadb96b2787ff94eb57c92f45f85feded..8939cada45d7d13d9a847ae3b4396155990572b9 100755 (executable)
--- a/configure
+++ b/configure
@@ -2801,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