5 files changed, 10 insertions, 6 deletions
diff --git a/ports/sysdeps/mips/Implies b/ports/sysdeps/mips/Implies
index 8c18cb3034..b852ea3cbd 100644
--- a/ports/sysdeps/mips/Implies
+++ b/ports/sysdeps/mips/Implies
@@ -1,3 +1,3 @@
 # MIPS uses IEEE 754 floating point.
-ieee754/flt-32
-ieee754/dbl-64
+echo ieee754/flt-32
+echo ieee754/dbl-64
diff --git a/ports/sysdeps/mips/mips32/Implies b/ports/sysdeps/mips/mips32/Implies
index fab98d7312..d8ef1de47c 100644
--- a/ports/sysdeps/mips/mips32/Implies
+++ b/ports/sysdeps/mips/mips32/Implies
@@ -1,2 +1,2 @@
-mips
-wordsize-32
+echo mips
+echo wordsize-32
diff --git a/ports/sysdeps/mips/mips64/Implies b/ports/sysdeps/mips/mips64/Implies
index 8c18cb3034..b852ea3cbd 100644
--- a/ports/sysdeps/mips/mips64/Implies
+++ b/ports/sysdeps/mips/mips64/Implies
@@ -1,3 +1,3 @@
 # MIPS uses IEEE 754 floating point.
-ieee754/flt-32
-ieee754/dbl-64
+echo ieee754/flt-32
+echo ieee754/dbl-64
diff --git a/ports/sysdeps/mips/mips64/n32/Implies b/ports/sysdeps/mips/mips64/n32/Implies
index bed8f14c30..d0aa17cc6a 100644
--- a/ports/sysdeps/mips/mips64/n32/Implies
+++ b/ports/sysdeps/mips/mips64/n32/Implies
@@ -1,5 +1,7 @@
+cat <<EOF
 ieee754/ldbl-128
 mips/mips64/soft-fp
 mips/mips64
 mips
 wordsize-32
+EOF
diff --git a/ports/sysdeps/mips/mips64/n64/Implies b/ports/sysdeps/mips/mips64/n64/Implies
index 214b85c776..871fb71e52 100644
--- a/ports/sysdeps/mips/mips64/n64/Implies
+++ b/ports/sysdeps/mips/mips64/n64/Implies
@@ -1,5 +1,7 @@
+cat <<EOF
 ieee754/ldbl-128
 mips/mips64/soft-fp
 mips/mips64
 mips
 wordsize-64
+EOF