1 files changed, 6 insertions, 0 deletions
diff --git a/tests/mpcheck-longdouble.c b/tests/mpcheck-longdouble.c
index d81b983..3dc1688 100644
--- a/tests/mpcheck-longdouble.c
+++ b/tests/mpcheck-longdouble.c
@@ -165,6 +165,12 @@ main (int argc, char *argv[])
           argc --;
           argv ++;
         }
+      else if (strcmp (argv[1], "-check") == 0)
+        {
+          recheck = 1;
+          argc --;
+          argv ++;
+        }
       else
         {
           fprintf (stderr, "Unknown option %s\n", argv[1]);