2020-07-27 19:31:16 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2020-08-07 00:30:18 +00:00
|
|
|
# Copyright 2020 VMware, Inc.
|
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
2020-07-27 19:31:16 +00:00
|
|
|
set -euo pipefail
|
2020-08-12 00:48:16 +00:00
|
|
|
ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )/.." && pwd )"
|
2020-07-07 19:35:20 +00:00
|
|
|
|
2020-08-07 00:30:18 +00:00
|
|
|
"$ROOT/hack/module.sh" lint
|
2020-08-18 14:56:47 +00:00
|
|
|
"$ROOT/hack/module.sh" codegen_verify
|