build: skip compatibility check for Gitpod (aws#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