Skip to content

Commit

Permalink
fix makefile to use cn verify
Browse files Browse the repository at this point in the history
  • Loading branch information
cp526 committed Jul 25, 2024
1 parent 637b332 commit a7af162
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ build/solutions/%: src/examples/%
@if [ `which cn` ]; then \
if [[ "$<" = *".c"* ]]; then \
if [[ "$<" != *"broken"* ]]; then \
echo cn $< && cn $<; \
echo cn $< && cn verify $<; \
fi; \
fi \
fi
Expand Down

0 comments on commit a7af162

Please sign in to comment.