diff options
author | Keshav Kini <keshav.kini@gmail.com> | 2021-08-15 14:05:37 -0700 |
---|---|---|
committer | Keshav Kini <keshav.kini@gmail.com> | 2021-08-15 14:05:37 -0700 |
commit | e6a9fcd47c6bbaf23951946288088f8754e19b87 (patch) | |
tree | 3954665f02831e7f59504d712292157732f8356e /pkgs/development/interpreters | |
parent | c28262e2fe67c021c37e2e3532d4ebe77401be81 (diff) |
acl2: Fix typo in cleanup commands
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index 2d104e9fb4c4..9436cf58e427 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -98,7 +98,7 @@ in stdenv.mkDerivation rec { # Clean up some stuff to save space find -name '*@useless-runes.lsp' -execdir rm {} + # saves ~1GB of space - find -name '*.cert.out' -execdir gz {} + # saves ~400MB of space + find -name '*.cert.out' -execdir gzip {} + # saves ~400MB of space popd ''; |