Skip to content

Commit

Permalink
Update build.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
chaifeng authored Oct 8, 2024
1 parent 04bdd59 commit f4c7d5f
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions build.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
#!/usr/bin/env bash
set -euo pipefail

IFS='.' read -r __major __minor _ <<< "${BASH_VERSION:-0.0.0}"
if [ "$__major" -lt 4 ] || { [ "$__major" -eq 4 ] && [ "$__minor" -lt 3 ]; }; then
Expand All @@ -10,6 +9,9 @@ if [ "$__major" -lt 4 ] || { [ "$__major" -eq 4 ] && [ "$__minor" -lt 3 ]; }; th
exit 1
fi

set -euo pipefail
shopt -s nullglob

cd "$(dirname "$0")"

declare -A files
Expand Down Expand Up @@ -233,7 +235,6 @@ generate_pac() {

is_up_to_date=true
files_to_be_deleted=(proxy.pac)
shopt -s nullglob
for file in "$0" *.js *.txt; do
if [ "$file" -nt proxy.pac ]; then
is_up_to_date=false
Expand Down

0 comments on commit f4c7d5f

Please sign in to comment.