diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-12-25T13·53+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-12-25T13·53+0100 |
commit | 4801420893766a3845f6ce6dc8c07bab1a2f15e0 (patch) | |
tree | ea09ca72e08f11a311ebde2e5ef81fd39010582e | |
parent | aa43cbb7646e880f871df4280f8a1909520136f0 (diff) |
Remove debug line
-rw-r--r-- | release.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 04fbcd563b8d..68b586232897 100644 --- a/release.nix +++ b/release.nix @@ -32,7 +32,6 @@ let configureFlags = "--enable-gc"; postUnpack = '' - ls -la source (cd source && find . -type f) | cut -c3- > source/.dist-files cat source/.dist-files ''; |