2020-03-25 23:08:42 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
|
2020-04-30 13:52:54 +02:00
|
|
|
# Makes sure the release works.
|
|
|
|
# This is to make sure we don't have Node version errors or any other
|
|
|
|
# compilation-related errors.
|
|
|
|
main() {
|
|
|
|
cd "$(dirname "${0}")/../.."
|
2020-03-25 23:08:42 +01:00
|
|
|
|
|
|
|
local output
|
2020-04-30 13:52:54 +02:00
|
|
|
output=$(./release-static/bin/code-server --list-extensions 2>&1)
|
2020-03-25 23:08:42 +01:00
|
|
|
if echo "$output" | grep 'was compiled against a different Node.js version'; then
|
|
|
|
echo "$output"
|
|
|
|
exit 1
|
|
|
|
fi
|
2020-04-30 13:52:54 +02:00
|
|
|
|
|
|
|
echo "Build ran successfully"
|
2020-03-25 23:08:42 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
main "$@"
|