projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72ca173) | patch
Makefile.ompi-rules: don't set silent building
authorAdrian Bunk <bunk@debian.org>
Sun, 1 Oct 2023 12:00:06 +0000 (13:00 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 1 Oct 2023 12:00:06 +0000 (13:00 +0100)
commitefe55b8615a6cbbb8c8db26898ed0be11455783c
tree2a288530ad812a5ac8a9f34b20a1b6c1421ef095tree | snapshot
parent72ca173f8c56751dac00fe589fa89888b64e3effcommit | diff
Makefile.ompi-rules: don't set silent building

Gbp-Pq: Name verbose-ompi-rules.patch
Makefile.ompi-rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.