We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a82546f commit 9766907Copy full SHA for 9766907
Makefile
@@ -55,7 +55,7 @@ submission-doc: submission-generation
55
56
participant-data:
57
@echo "🚀 Generating participant data to $(PARTICIPANT_DATA_FILE)"
58
- @poetry run smtcomp show-json submissions/*.json $(PARTICIPANT_DATA_FILE)
+ @if [ -e "submissions/*.json" ]; then poetry run smtcomp show-json submissions/*.json $(PARTICIPANT_DATA_FILE); fi
59
60
track-data:
61
@echo "🚀 Generating track data to $(TRACK_DATA_FILE)"
0 commit comments