diff options
| author | Ricardo Wurmus <[email protected]> | 2019-04-28 11:37:30 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <[email protected]> | 2019-04-28 16:05:56 +0200 |
| commit | 32d5360f43908a34b3315ec7d1d558504ef5257e (patch) | |
| tree | e9fa6ada0cc94bc05790cc30f1b5ad7f9be6a3b2 /build-aux/git-version-gen | |
| parent | cb6f44d4e4384f481db4de8fec3f76635f32ad79 (diff) | |
gnu: z3: Unconditionally return #T from build phases.
* gnu/packages/maths.scm (z3)[arguments]: Use INVOKE in build phases.
Diffstat (limited to 'build-aux/git-version-gen')
0 files changed, 0 insertions, 0 deletions