diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-17T17·44+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-17T17·44+0000 |
| commit | d3de71efc935ac5744dedf22528a6f0c4e38aaf4 (patch) | |
| tree | 955e1b101f147bf919442ae9f87a99ece6e60a36 | |
| parent | e1df4ef73c442ad0fa175a19341bcbab0c2b6450 (diff) | |
| -rw-r--r-- | release.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 24c285b768ed..47e68dccfc3a 100644 --- a/release.nix +++ b/release.nix @@ -95,7 +95,8 @@ let ''; }; - + + /* static = { tarball ? jobs.tarball {} , system ? "i686-linux" @@ -115,6 +116,7 @@ let --enable-static-nix ''; }; + */ coverage = |