cli: a fix for add-on options after -- (don't pass the -- through)

This commit is contained in:
Simon Michael 2014-04-27 23:34:27 -07:00
parent d0932cb47a
commit 9418967343

View File

@ -265,7 +265,7 @@ main = do
-- an external command -- an external command
| isExternalCommand = do | isExternalCommand = do
let shellcmd = printf "%s-%s %s" progname cmd (unwords' argsaftercmd) :: String let shellcmd = printf "%s-%s %s" progname cmd (unwords' $ filter (not.(=="--")) argsaftercmd) :: String
dbgM "external command selected" cmd dbgM "external command selected" cmd
dbgM "external command arguments" (map quoteIfNeeded argsaftercmd) dbgM "external command arguments" (map quoteIfNeeded argsaftercmd)
dbgM "running shell command" shellcmd dbgM "running shell command" shellcmd