Use "default" as default profilingDetail (#532)

so that toplevel-functions is used for executables by default.
This commit is contained in:
Jean-Baptiste Giraudeau 2020-05-02 05:27:08 +02:00 committed by GitHub
parent a5e5138e8c
commit 78f4e25f5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -150,7 +150,7 @@ let
profilingDetail = mkOption {
type = nullOr uniqueStr;
default = (def.profilingDetail or "exported-functions");
default = (def.profilingDetail or "default");
};
keepSource = mkOption {