Add .json file extension to jsonschema output files

This commit is contained in:
Brandon Vandegrift 2023-09-02 14:17:43 -04:00
parent 783b7cc59c
commit 1532db70b7

View File

@ -24,5 +24,5 @@ fi
# Produce schema from veilid-server # Produce schema from veilid-server
for SCHEMA in "Request" "RecvMessage"; do for SCHEMA in "Request" "RecvMessage"; do
echo -n "Updating ${SCHEMA}..." && ${VEILID_SERVER} --emit-schema ${SCHEMA} > $SCRIPTDIR/veilid/schema/${SCHEMA} && echo " done." || echo " error!" echo -n "Updating ${SCHEMA}..." && ${VEILID_SERVER} --emit-schema ${SCHEMA} > $SCRIPTDIR/veilid/schema/${SCHEMA}.json && echo " done." || echo " error!"
done done