Remove 'make dev'

1 files changed, 0 insertions, 27 deletions

diff --git a/configure b/configure
index 451d5ae16..e6a5e8ccb 100755
--- a/configure
+++ b/configure
@@ -131,32 +131,5 @@ cat > $rootdir/config.erl << EOF
 {with_curl, $WITH_CURL}.
 EOF
 
-# finally, a few config files for local development nodes
-for i in 1 2 3; do
-cat > rel/dev$i.config << EOF
-% Licensed under the Apache License, Version 2.0 (the "License"); you may not
-% use this file except in compliance with the License. You may obtain a copy of
-% the License at
-%
-%   http://www.apache.org/licenses/LICENSE-2.0
-%
-% Unless required by applicable law or agreed to in writing, software
-% distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
-% WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
-% License for the specific language governing permissions and limitations under
-% the License.
-%
-% The contents of this file are auto-generated by configure
-%
-{prefix, "$rootdir/rel/dev$i"}.
-{data_dir, "$rootdir/rel/tmpdata/dev$i"}.
-{view_dir, "$rootdir/rel/tmpdata/dev$i"}.
-{node_name, "-name dev$i@127.0.0.1"}.
-{cluster_port, `expr 10000 \* $i + 5984`}.
-{backend_port, `expr 10000 \* $i + 5986`}.
-EOF
-done
-
-
 echo "==> updating dependencies"
 rebar get-deps update-deps