Restrict Linux CI so that it just builds the basic images, and doesn't build/test PTI for now.

README.md

@@ -1,12 +1,10 @@
 Ambrosia: Highly Robust Distributed Programming Made Easy and Efficient
 =======================================================================
 
-* Linux Build and Test: [![Linux Build and Test status](https://msrfranklin.visualstudio.com/Franklin/_apis/build/status/Ambrosia-CI-LinuxDocker?branchName=master)](https://msrfranklin.visualstudio.com/Franklin/_build/latest?definitionId=18)
+* Linux Build: [![Linux Build and Test status](https://msrfranklin.visualstudio.com/Franklin/_apis/build/status/Ambrosia-CI-LinuxDocker?branchName=master)](https://msrfranklin.visualstudio.com/Franklin/_build/latest?definitionId=18)
 
  * Windows Build-Only: [![Windows Build Status](https://msrfranklin.visualstudio.com/Franklin/_apis/build/status/Ambrosia-CI?branchName=master)](https://msrfranklin.visualstudio.com/Franklin/_build/latest?definitionId=7)
 
- * Travis/Linux Build-Only: [![Travis Linux Build-only (fork)](https://travis-ci.com/rrnewton/AMBROSIA.svg?branch=ryan%2Ftemp)](https://travis-ci.com/rrnewton/AMBROSIA)
-
 Ambrosia is a programming language independent approach for authoring
 and deploying highly robust distributed applications. Ambrosia 
 dramatically lowers development and deployment costs and time to

Scripts/run_linux_ci.sh

@@ -16,4 +16,7 @@ pwd -P
 cat /etc/issue || echo ok
 
 # Build and run a small PerformanceTestInterruptable:
-./build_docker_images.sh run
+# ./build_docker_images.sh run
+
+# [2018.12.07] Because of issue #5, we're just doing a basic build on Linux for now:
+DONT_BUILD_PTI=1 ./build_docker_images.sh 

build_docker_images.sh

@@ -58,11 +58,13 @@ if [ "$mode" != "runonly" ]; then
     if ! [[ ${BUILD_DEV_IMAGE_ONLY:+defined} ]]; then
         $DOCKER build -f Dockerfile.release -t ${TAG1B} .
     fi
-    
-    pushd "$AMBROSIA_ROOT"/InternalImmortals/PerformanceTestInterruptible
-    $DOCKER build -t ${TAG2} .
-    popd
 
+    if ! [[ ${DONT_BUILD_PTI:+defined} ]]; then    
+	pushd "$AMBROSIA_ROOT"/InternalImmortals/PerformanceTestInterruptible
+	$DOCKER build -t ${TAG2} .
+	popd
+    fi
+	
     # TODO: build other examples:
     # cd InternalImmortals/NativeService; $DOCKER build -t ambrosia-native .
 
@@ -76,7 +78,7 @@ if [ "$mode" != "runonly" ]; then
     set -x
     rm -rf ambrosia.tgz
     TMPCONT=temp-container-name_`date '+%s'`
-    $DOCKER run --name $TMPCONT ambrosia-dev bash -c 'tar czvf /ambrosia/ambrosia.tgz /ambrosia/bin'
+    $DOCKER run --name $TMPCONT ambrosia-dev bash -c 'tar czf /ambrosia/ambrosia.tgz /ambrosia/bin'
     $DOCKER cp $TMPCONT:/ambrosia/ambrosia.tgz ambrosia.tgz
     $DOCKER rm $TMPCONT
     set +x