Garmelon/mima-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Export symbol and flag files

Browse source
This commit is contained in:
Joscha 2019-11-25 13:02:44 +00:00
parent 02b6d65b8f
commit 9ace3632bc
2 changed files with 79 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
app/MimaRun/Main.hs
View file

@ -70,7 +70,7 @@ settingsParser = Settings
<> metavar "OUTFILE"
<> help "If specified, write the memory dump to this file after execution is finished")
<*> switchWithNo "discover" True
"Try to load .mima-flags and .mima-symbols corresponding to the .mima input file"
"Derive the file names for the .mima-flags and .mima-symbols files from the name of the input file"
<*> (optional . strOption)
(long "flag-file"
<> short 'f'