1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/opts.c b/gcc/opts.c
index ecbc9a3..f8eeb1a 100644
--- a/gcc/opts.c
+++ b/gcc/opts.c
@@ -1268,11 +1268,11 @@ common_handle_option (size_t scode, const char *arg, int value,
       /* The real switch is -fno-random-seed.  */
       if (value)
 	return 0;
-      flag_random_seed = NULL;
+      set_random_seed (NULL);
       break;
 
     case OPT_frandom_seed_:
-      flag_random_seed = arg;
+      set_random_seed (arg);
       break;
 
     case OPT_fsched_verbose_: