Merge pull request #33649 from dtzWill/fix/schedprio-int

schedulingPriority should be an int, fix check-meta type and in-tree use
This commit is contained in:
Eelco Dolstra 2018-01-09 14:30:27 +01:00 committed by GitHub
commit 86a45e0308
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -123,7 +123,7 @@ stdenv.mkDerivation (
# Tarball builds are generally important, so give them a high
# default priority.
schedulingPriority = "200";
schedulingPriority = 200;
};
}

View File

@ -162,7 +162,7 @@ let
position = str;
repositories = attrsOf str;
isBuildPythonPackage = platforms;
schedulingPriority = str;
schedulingPriority = int;
downloadURLRegexp = str;
isFcitxEngine = bool;
isIbusEngine = bool;