diff options
author | 1024x2 | 2024-08-14 01:29:30 +0100 |
---|---|---|
committer | 1024x2 | 2024-08-14 01:29:30 +0100 |
commit | 8676c6705d27c5e6246bb5d4b6732614f5672c98 (patch) | |
tree | fab2ff412146892e7ff0407e7999f199db36f2c5 /build.sh | |
parent | 7335747c1b3c9b10576fd6920d3e084c39e6f0a2 (diff) |
De-duplicate vextop script
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -5,6 +5,12 @@ set -euo pipefail # Pull the patches repository git pull +# Emergency Alert System +if [ -e Alert ]; then + cat Alert >&2 + exit 1 +fi + # Do we have the Vencord sources cloned? if [ -e Vencord/.git ]; then # Update sources |