We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8967957 commit a0137a9Copy full SHA for a0137a9
scripts/regression-testing.zsh
@@ -53,11 +53,17 @@ echo current dir: $PWD
53
54
for i ($ZIP_URL){
55
if [[ $i == *.zip ]] {
56
- echo "============== start $i ==============="
57
file_name=${i:t}
58
unzip -o $file_name
59
dir_name=${file_name%.zip}
60
+ if [[ -n $FILTER ]] && [[ $FILTER != $dir_name ]] {
61
+ # skip this file
62
+ continue
63
+ }
64
+
65
+ echo "============== start $i ==============="
66
67
# build latest release version on github
68
cd $dir_name
69
rm -f '*.pdf *.aux'
0 commit comments