release-lib: Remove unused allowTexliveBuilds option
This is dead code since the old monolithic TeXLive was dropped in da421bc75f98c1b19f214a3b6b7cda07dc4c088b.
This commit is contained in:
parent
ffddcc8807
commit
628c86c51a
@ -1,6 +1,5 @@
|
|||||||
{ supportedSystems
|
{ supportedSystems
|
||||||
, packageSet ? (import ../..)
|
, packageSet ? (import ../..)
|
||||||
, allowTexliveBuilds ? false
|
|
||||||
, scrubJobs ? true
|
, scrubJobs ? true
|
||||||
}:
|
}:
|
||||||
|
|
||||||
@ -11,7 +10,6 @@ rec {
|
|||||||
# Ensure that we don't build packages marked as unfree.
|
# Ensure that we don't build packages marked as unfree.
|
||||||
allPackages = args: packageSet (args // {
|
allPackages = args: packageSet (args // {
|
||||||
config.allowUnfree = false;
|
config.allowUnfree = false;
|
||||||
config.allowTexliveBuilds = allowTexliveBuilds;
|
|
||||||
config.inHydra = true;
|
config.inHydra = true;
|
||||||
});
|
});
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user