There's no reason to do the directory check before trying to run our

filename checking script
pull/1144/head
Jesse Vincent 3 years ago
parent 1f49a16bf1
commit 2a1fb9014d
No known key found for this signature in database
GPG Key ID: 122F5DF7108E4046

@ -86,9 +86,7 @@ adjust-git-timestamps:
bin/set-timestamps-from-git bin/set-timestamps-from-git
find-filename-conflicts: find-filename-conflicts:
@if [ -d "bin" ]; then \ bin/find-filename-conflicts
bin/find-filename-conflicts; \
fi
.PHONY: astyle test cpplint cpplint-noisy shellcheck smoke-examples find-filename-conflicts prepare-virtual checkout-platform adjust-git-timestamps docker-bash docker-simulator-tests run-tests simulator-tests setup .PHONY: astyle test cpplint cpplint-noisy shellcheck smoke-examples find-filename-conflicts prepare-virtual checkout-platform adjust-git-timestamps docker-bash docker-simulator-tests run-tests simulator-tests setup

Loading…
Cancel
Save