From d7051e7edaafeda95cae377c66aabd2f06b68bd2 Mon Sep 17 00:00:00 2001
From: Matthew Vaughn <vaughn@tacc.utexas.edu>
Date: Tue, 20 Jun 2017 14:57:16 -0500
Subject: [PATCH] Just build container for now with develop.sh

---
 build/develop.sh | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/build/develop.sh b/build/develop.sh
index a688f8d..11a321f 100755
--- a/build/develop.sh
+++ b/build/develop.sh
@@ -1,17 +1,10 @@
 #!/bin/bash
 
 cp VERSION VERSION.bak
-echo "edge" > VERSION
+echo "develop" > VERSION
 
 _VERSION="$(echo -n $(cat VERSION))"
 make clean
-make dist
-make clean
-
-git commit -a -m "Building release ${_VERSION}"
-git tag -a "v${_VERSION}" -m "version ${_VERSION}"
-git push origin "v${_VERSION}"
-git push origin master
 
 make docker
 make docker-release