Skip to content

Commit

Permalink
Merge pull request #750 from ucb-bar/minor-ci-updates
Browse files Browse the repository at this point in the history
Small CI Cleanup + CI Fix
  • Loading branch information
abejgonzalez authored Dec 30, 2020
2 parents 6b0d57d + ec1efc1 commit 4c549a5
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 6 deletions.
16 changes: 11 additions & 5 deletions .circleci/check-commit.sh
Original file line number Diff line number Diff line change
Expand Up @@ -124,19 +124,25 @@ search
# turn off verbose printing to make this easier to read
set +x

# print all result strings
# print 0's
for str in "${all_names[@]}";
do
echo "$str"
if [ 0 = $(echo "$str" | awk '{print$3}') ]; then
echo "$str"
fi
done

# check if there was a non-zero return code
echo ""

# check if there was a non-zero return code and print 1's
EXIT=0
for str in "${all_names[@]}";
do
if [ ! 0 = $(echo "$str" | awk '{print$3}') ]; then
exit 1
echo "$str"
EXIT=1
fi
done

echo "Done checking all submodules"

exit $EXIT
1 change: 1 addition & 0 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@ commands:
- add_ssh_keys:
fingerprints:
- "3e:c3:02:5b:ed:64:8c:b7:b0:04:43:bc:83:43:73:1e"
- "32:d6:89:d2:97:fa:db:de:a8:2d:2a:f2:70:dd:80:89"
- checkout

setup-tools:
Expand Down
2 changes: 1 addition & 1 deletion .circleci/defaults.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash

copy () {
rsync -avzp -e 'ssh' $1 $2
rsync -avzp -e 'ssh' --exclude '.git' $1 $2
}

run () {
Expand Down
1 change: 1 addition & 0 deletions .circleci/do-rtl-build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,7 @@ run "export RISCV=\"$TOOLS_DIR\"; \

read -a keys <<< ${grouping[$1]}

# need to set the PATH to use the new verilator (with the new verilator root)
for key in "${keys[@]}"
do
run "export RISCV=\"$TOOLS_DIR\"; \
Expand Down

0 comments on commit 4c549a5

Please sign in to comment.