Azure Pipelines continuous integration (without running tests, for now)

azure-pipelines.yml

@@ -0,0 +1,36 @@
+jobs:
+- job: build
+  pool:
+    vmImage: 'ubuntu-16.04'
+  container: mdernst/cf-ubuntu-jdk11-plus-buildjdk:latest
+  steps:
+  - checkout: none
+  - bash: |
+      whoami
+      pwd
+      ls -l
+      env | sort
+    displayName: show environment
+  - bash: |
+      set -ex
+      if [ -d /tmp/plume-scripts ]; \
+        then git -C /tmp/plume-scripts pull > /dev/null 2>&1 ; \
+        else git -C /tmp clone --depth 1 -q https://github.com/plume-lib/plume-scripts.git ; \
+        fi
+      eval `/tmp/plume-scripts/ci-info typetools`
+      CI_REPOSITORY_URI=https://github.com/${CI_ORGANIZATION}/jdk.git
+      ls -al /jdk/.git
+      if [ -d /jdk ]; \
+        then git -C /jdk pull -q ${CI_REPOSITORY_URI} ${CI_BRANCH} ; \
+        else git clone --depth 1 -q ${CI_REPOSITORY_URI} --branch ${CI_BRANCH} /jdk ; \
+        fi
+    displayName: pull or clone
+  - bash: make -C /jdk images
+    displayName: make images
+  - bash: /jdk/build/*/images/jdk/bin/java -version
+    displayName: version
+  # - bash: make -C /jdk run-test-tier1
+  #   displayName: make run-test-tier1
+
+trigger:
+  batch: true