Skip to content
Snippets Groups Projects
Commit c1c2c243 authored by Duncan Coutts's avatar Duncan Coutts
Browse files

We default configUserInstall to False so we should not set configPackageDB

because we use the value of configUserInstall to set the default value for
configPackageDB, and any value the user sets will override that.
parent be20882b
No related branches found
No related tags found
No related merge requests found
......@@ -251,7 +251,6 @@ defaultConfigFlags progConf = emptyConfigFlags {
configOptimization = Flag True,
configVerbose = Flag normal,
configUserInstall = Flag False, --TODO: reverse this
configPackageDB = Flag GlobalPackageDB,
configGHCiLib = Flag True,
configSplitObjs = Flag False -- takes longer, so turn off by default
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment