diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl
index 3f6e47b..3592f1d 100755
--- a/utils/NightlyTest.pl
+++ b/utils/NightlyTest.pl
@@ -334,7 +334,7 @@
     $MAKEOPTS = "$MAKEOPTS $ARGV[0]"; shift; next;
   }
   if (/^-extraflags/)      {
-    $PROGTESTOPTS .= " EXTRA_OPTIONS=\'$ARGV[0]\'"; shift; next;
+    $CONFIGUREARGS .= " --with-extra-options=\'$ARGV[0]\'"; shift; next;
   }
   if (/^-noexternals$/)    { $NOEXTERNALS = 1; next; }
   if (/^-nodejagnu$/)      { $NODEJAGNU = 1; next; }