1 files changed, 2 insertions, 0 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c
index 1c9f2cc47..6f176fd95 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -1024,7 +1024,9 @@ all (const char *filename)
   fprintf (f, "system compiler */\n");
 #endif
   fprintf (f, "\n\n");
+  fprintf (f, "#ifndef MPFR_TUNE_CASE\n");
   fprintf (f, "#define MPFR_TUNE_CASE \"src/mparam.h\"\n");
+  fprintf (f, "#endif\n\n");
 
   /* Tune mulhigh */
   tune_mul_mulders (f);