Unverified Commit 802dd882 authored by Michael Raskin's avatar Michael Raskin Committed by GitHub
Browse files

Merge pull request #134270 from kini/acl2-update 

acl2: Fix typo in cleanup commands
parents 70c25ed3 e6a9fcd4

pkgs/development/interpreters/acl2/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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

  '';