From 39d0bb53696942afc59abc08386cc58a09cf4733 Mon Sep 17 00:00:00 2001
From: Paul van der Walt
Date: Wed, 16 Nov 2011 11:43:04 +0100
Subject: OpenMPI: Add alias

This is an alias "openmpi" => "open-mpi". Seemed useful to me.

Closes #8613.

Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
---
 Library/Aliases/openmpi | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 Library/Aliases/openmpi

(limited to 'Library')

diff --git a/Library/Aliases/openmpi b/Library/Aliases/openmpi
new file mode 120000
index 000000000..71bca84ce
--- /dev/null
+++ b/Library/Aliases/openmpi
@@ -0,0 +1 @@
+../Formula/open-mpi.rb
\ No newline at end of file
-- 
cgit v1.2.3