fixing profile flag

GuillaumedeVolpiano · GuillaumedeVolpiano · commit 0d56feb690e9 · 2025-03-28T10:05:27.000+01:00
diff --git a/random-build.cabal b/random-build.cabal
@@ -131,4 +131,4 @@ executable random-build
   if flag(threads)
     ghc-options:      -threaded -rtsopts -with-rtsopts=N
   if flag(profile)
-    ghc-options: -prof-cafs -prof-auto -rtsopts
+    ghc-options: -fprof-cafs -fprof-auto -rtsopts
