diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-10-17 21:10:19 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-10-17 21:28:05 +0300 |
| commit | 1d43756107077797e0168190ac12ee2564c8e76d (patch) | |
| tree | 7e8c6c475f9342880597ca0e58863fa7bdfc66da /gnu/packages/agda.scm | |
| parent | 82402f76bebfa3bb563a58227eb4081f9bdb6142 (diff) | |
| download | guix-1d43756107077797e0168190ac12ee2564c8e76d.tar.gz guix-1d43756107077797e0168190ac12ee2564c8e76d.zip | |
gnu: strace: Check before enabling personalities.
* gnu/packages/linux.scm (strace)[arguments]: Add configure flag to
check for personality support.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions