From 5dc34fa2b6a8c97d01d0329b552494f7c42ac60e Mon Sep 17 00:00:00 2001
From: Ralph Castain <rhc@open-mpi.org>
Date: Wed, 6 Nov 2013 20:22:38 +0000
Subject: [PATCH] Remove stale directory

This commit was SVN r29620.
---
 contrib/greenplum/nconfig | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 contrib/greenplum/nconfig

diff --git a/contrib/greenplum/nconfig b/contrib/greenplum/nconfig
deleted file mode 100755
index 3a2e134d20..0000000000
--- a/contrib/greenplum/nconfig
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-
-if [ $# -lt 1 ] ; then
-  echo "usage: gpconfig -vpath <prefix>"
-  exit 1
-fi
-
-if [ $1 = "-vpath" ] ; then
-  ../autogen.pl -no-ompi && ../configure --prefix=$1 --with-platform=../contrib/platform/greenplum/nmon/linux && rm -rf $1 && make clean > /dev/null && make -j6 all > /dev/null && make -j6 install > /dev/null
-else
-  ./autogen.pl -no-ompi && ./configure --prefix=$1 --with-platform=./contrib/platform/greenplum/nmon/linux && rm -rf $1 && make clean > /dev/null && make -j6 all > /dev/null && make -j6 install > /dev/null
-fi