Widen genode-sources version
This commit is contained in:
parent
229cef980e
commit
604aa1fe74
|
@ -36,7 +36,7 @@ let
|
||||||
in with buildPackages;
|
in with buildPackages;
|
||||||
stdenvNoCC.mkDerivation {
|
stdenvNoCC.mkDerivation {
|
||||||
pname = "genode-sources";
|
pname = "genode-sources";
|
||||||
version = builtins.substring 0 7 upstreamSources.rev;
|
version = builtins.substring 0 12 upstreamSources.rev;
|
||||||
src = upstreamSources;
|
src = upstreamSources;
|
||||||
nativeBuildInputs = [ expect gnumake tcl ];
|
nativeBuildInputs = [ expect gnumake tcl ];
|
||||||
patches = [ ./patches/sources.patch ];
|
patches = [ ./patches/sources.patch ];
|
||||||
|
|
Loading…
Reference in New Issue