diff --git a/main/hwloc/update b/main/hwloc/update new file mode 100644 index 000000000..b2e874aa9 --- /dev/null +++ b/main/hwloc/update @@ -0,0 +1 @@ +url=https://github.com/open-mpi/hwloc/tags