diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2022-03-31 16:51:53 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2022-03-31 16:51:53 +0000 |
| commit | 8494652452a506df7b529a67202ce69020c30d1e (patch) | |
| tree | ee74c5afe9c1b529c40a2fe1cc2ad9fc0ff23723 /jjb/scripts/hicn/checkstyle.sh | |
| parent | eee596b7136a845edb926d170578fddd370be37c (diff) | |
| parent | 58a4acfad218c83e8f189d6f7ba545bd3d7d20c4 (diff) | |
Merge "doc(hicn): do not build doxygen"
Diffstat (limited to 'jjb/scripts/hicn/checkstyle.sh')
| -rw-r--r-- | jjb/scripts/hicn/checkstyle.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jjb/scripts/hicn/checkstyle.sh b/jjb/scripts/hicn/checkstyle.sh index 636590e7a..451950ebb 100644 --- a/jjb/scripts/hicn/checkstyle.sh +++ b/jjb/scripts/hicn/checkstyle.sh @@ -1,5 +1,7 @@ #!/bin/bash +echo "---> jjb/scripts/hicn/checkstyle.sh" + if [ -f ./scripts/checkstyle.sh ];then bash scripts/checkstyle.sh else |