diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-08-31 17:04:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-08-31 17:04:53 +0200 |
| commit | e815763e69c621412830cada8ded53ccd1b8247f (patch) | |
| tree | 61cb5c79ea95db9bb7024efe101faa5806898a2b /.gitignore | |
| parent | 84209975fd6a475321e96a5243157a4b4a098a33 (diff) | |
| download | guix-e815763e69c621412830cada8ded53ccd1b8247f.tar.gz guix-e815763e69c621412830cada8ded53ccd1b8247f.zip | |
build-system/gnu: Add a `strip' phase.
* guix/build/gnu-build-system.scm (strip): New procedure.
(%standard-phases): Add it.
* guix/build-system/gnu.scm (gnu-build): New `strip-binaries?',
`strip-flags', and `strip-directories' keyword parameters. Pass them
to BUILDER.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions