Change inputs of osu benchmark for mpi

94da6204 · P-A Bouttier · 1a6eafcf · 94da6204
Commit 94da6204 authored Oct 13, 2021 by P-A Bouttier
--- a/common/benchmark.scm
+++ b/common/benchmark.scm
@@ -34,7 +34,7 @@
              (base32
                "19a4wg0msipibkxsi8i0c34d07512yfaj2k37dxg5541ysdw690f"))))
    (build-system gnu-build-system)
-    (inputs
+    (propagated-inputs
      `(("openmpi" ,openmpi)))
  (synopsis "OSU micro benchmarks")
  (description "OSU micro benchmark for mpi")