Skip to content

Commit

Permalink
Change script name
Browse files Browse the repository at this point in the history
  • Loading branch information
mikepapadim committed Sep 17, 2021
1 parent 77432d6 commit fc397e9
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,11 @@
# specific language governing permissions and limitations
# under the License.

set -eux

DOCS_DIR=0
OTHER_DIR=0
DOC_DIR="\docs"
DOC_DIR="docs/"

changed_files=`git diff --no-commit-id --name-only -r origin/main`

Expand All @@ -32,7 +34,7 @@ for file in $changed_files; do
fi
done

if [[ ($OTHER_DIR -eq 1) ]]; then
if [ ${OTHER_DIR} -eq 1 ]; then
exit 1
else
exit 0
Expand Down

0 comments on commit fc397e9

Please sign in to comment.