Skip to content
Snippets Groups Projects
Commit 439e0b7f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] fix getopt

parent 1adac8cf
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
nix/mk_tests.nix
+ 2
− 2
View file @ 439e0b7f
...@@ -2,9 +2,9 @@ ...@@ -2,9 +2,9 @@
, alt-ergo , alt-ergo
, frama-c , frama-c
, perl , perl
, pkgs
, stdenvNoCC , stdenvNoCC
, time , time
, unixtools
, which , which
} : } :
...@@ -24,8 +24,8 @@ stdenvNoCC.mkDerivation { ...@@ -24,8 +24,8 @@ stdenvNoCC.mkDerivation {
buildInputs = frama-c.buildInputs ++ [ buildInputs = frama-c.buildInputs ++ [
frama-c frama-c
perl perl
pkgs.getopt
time time
unixtools.getopt
which which
] ++ ] ++
(if has-wp-proofs then [ alt-ergo ] else []); (if has-wp-proofs then [ alt-ergo ] else []);
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment