From b689455db7728f8d2cf324672abbf028bd267740 Mon Sep 17 00:00:00 2001 From: Gabriella Gonzalez Date: Tue, 24 Oct 2023 15:20:24 -0700 Subject: [PATCH] Support `--RTS` MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit … as suggested by @geekosaur --- Cabal/src/Distribution/Simple/Program/GHC.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/Cabal/src/Distribution/Simple/Program/GHC.hs b/Cabal/src/Distribution/Simple/Program/GHC.hs index f853fed7721..06c71ab88f6 100644 --- a/Cabal/src/Distribution/Simple/Program/GHC.hs +++ b/Cabal/src/Distribution/Simple/Program/GHC.hs @@ -684,6 +684,7 @@ runGHCWithResponseFile workDir fileNameTemplate encoding verbosity ghcProg comp case arg of "+RTS" -> (True, responseFileArgs, arg : otherArgs) "-RTS" -> (False, responseFileArgs, arg : otherArgs) + "--RTS" -> (False, args, [arg]) _ | isRTSOption -> (isRTSOption, responseFileArgs, arg : otherArgs) | otherwise -> (isRTSOption, arg : responseFileArgs, otherArgs)