tests: return 77 for skipped tests (see GNU Automake manual).

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7323 280ebfd0-de03-0410-8827-d642c229c3f4

8 files changed, 21 insertions, 11 deletions

diff --git a/tests/tfprintf.c b/tests/tfprintf.c
index 028fcd4e9..b3d7431af 100644
--- a/tests/tfprintf.c
+++ b/tests/tfprintf.c
@@ -443,7 +443,7 @@ int
 main (void)
 {
   /* We have nothing to test. */
-  return 0;
+  return 77;
 }
 
 #endif  /* HAVE_STDARG */
diff --git a/tests/tget_set_d64.c b/tests/tget_set_d64.c
index 21f7c0cb9..5e3d43e52 100644
--- a/tests/tget_set_d64.c
+++ b/tests/tget_set_d64.c
@@ -20,12 +20,13 @@ along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
 http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
 
+#ifdef MPFR_WANT_DECIMAL_FLOATS
+
 #include <stdlib.h> /* for exit */
 #include "mpfr-test.h"
 
 /* #define DEBUG */
 
-#ifdef MPFR_WANT_DECIMAL_FLOATS
 static void
 print_decimal64 (_Decimal64 d)
 {
@@ -223,7 +224,6 @@ check_native (void)
 
   mpfr_clear (x);
 }
-#endif /* MPFR_WANT_DECIMAL_FLOATS */
 
 int
 main (void)
@@ -231,7 +231,6 @@ main (void)
   tests_start_mpfr ();
   mpfr_test_init ();
 
-#ifdef MPFR_WANT_DECIMAL_FLOATS
 #ifdef DEBUG
 #ifdef DPD_FORMAT
   printf ("Using DPD format\n");
@@ -242,8 +241,17 @@ main (void)
   check_inf_nan ();
   check_random ();
   check_native ();
-#endif
 
   tests_end_mpfr ();
   return 0;
 }
+
+#else /* MPFR_WANT_DECIMAL_FLOATS */
+
+int
+main (void)
+{
+  return 77;
+}
+
+#endif /* MPFR_WANT_DECIMAL_FLOATS */
diff --git a/tests/tget_sj.c b/tests/tget_sj.c
index 94fa77fec..f7b108d62 100644
--- a/tests/tget_sj.c
+++ b/tests/tget_sj.c
@@ -48,7 +48,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 int
 main (void)
 {
-  return 0;
+  return 77;
 }
 
 #else
diff --git a/tests/tprintf.c b/tests/tprintf.c
index a87f10d55..973f269fe 100644
--- a/tests/tprintf.c
+++ b/tests/tprintf.c
@@ -503,7 +503,7 @@ int
 main (void)
 {
   /* We have nothing to test. */
-  return 0;
+  return 77;
 }
 
 #endif  /* HAVE_STDARG */
diff --git a/tests/tset_sj.c b/tests/tset_sj.c
index ad4fbb09a..f94bb4550 100644
--- a/tests/tset_sj.c
+++ b/tests/tset_sj.c
@@ -46,11 +46,13 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 #include "mpfr-test.h"
 
 #ifndef _MPFR_H_HAVE_INTMAX_T
+
 int
 main (void)
 {
-  return 0;
+  return 77;
 }
+
 #else
 
 #define ERROR(str) {printf("Error for "str"\n"); exit(1);}
diff --git a/tests/tsprintf.c b/tests/tsprintf.c
index e060c2da9..d01b6d762 100644
--- a/tests/tsprintf.c
+++ b/tests/tsprintf.c
@@ -1167,7 +1167,7 @@ int
 main (void)
 {
   /* We have nothing to test. */
-  return 0;
+  return 77;
 }
 
 #endif  /* HAVE_STDARG */
diff --git a/tests/tstdint.c b/tests/tstdint.c
index ace2822c1..ac084b6e5 100644
--- a/tests/tstdint.c
+++ b/tests/tstdint.c
@@ -51,7 +51,7 @@ main (void)
 int
 main (void)
 {
-  return 0;
+  return 77;
 }
 
 #endif  /* HAVE_STDINT_H */
diff --git a/tests/tvalist.c b/tests/tvalist.c
index b0410f046..2faaa8ceb 100644
--- a/tests/tvalist.c
+++ b/tests/tvalist.c
@@ -51,7 +51,7 @@ main (void)
 int
 main (void)
 {
-  return 0;
+  return 77;
 }
 
 #endif  /* HAVE_STDARG */