summaryrefslogtreecommitdiffstats
path: root/pkgs/development/interpreters
diff options
context:
space:
mode:
authorKeshav Kini <keshav.kini@gmail.com>2021-08-15 14:05:37 -0700
committerKeshav Kini <keshav.kini@gmail.com>2021-08-15 14:05:37 -0700
commite6a9fcd47c6bbaf23951946288088f8754e19b87 (patch)
tree3954665f02831e7f59504d712292157732f8356e /pkgs/development/interpreters
parentc28262e2fe67c021c37e2e3532d4ebe77401be81 (diff)
acl2: Fix typo in cleanup commands
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r--pkgs/development/interpreters/acl2/default.nix2
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
'';