build: skip compatibility check for Gitpod (#9315)

There is no point in doing the compatibility check when spinning up a new Gitpod workspace,
so add an option to build.sh to skip it,
and use it for the Gitpod build.


----

*By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license*

.gitpod.yml

@@ -1,6 +1,6 @@
 image: jsii/superchain
 tasks:
-  - init: yarn build --skip-test --no-bail --skip-prereqs
+  - init: yarn build --skip-test --no-bail --skip-prereqs --skip-compat
 
 vscode:
   extensions:

build.sh

@@ -4,6 +4,7 @@ set -euo pipefail
 bail="--bail"
 runtarget="build+test"
 check_prereqs="true"
+check_compat="true"
 while [[ "${1:-}" != "" ]]; do
     case $1 in
         -h|--help)
@@ -22,6 +23,9 @@ while [[ "${1:-}" != "" ]]; do
         --skip-prereqs)
             check_prereqs="false"
             ;;
+        --skip-compat)
+            check_compat="false"
+            ;;
         *)
             echo "Unrecognized parameter: $1"
             exit 1
@@ -70,6 +74,8 @@ echo "==========================================================================
 echo "building..."
 time lerna run $bail --stream $runtarget || fail
 
-/bin/bash scripts/check-api-compatibility.sh
+if [ "$check_compat" == "true" ]; then
+  /bin/bash scripts/check-api-compatibility.sh
+fi
 
 touch $BUILD_INDICATOR