Sfoglia il codice sorgente

Remove duplicate JSON build steps

pull/569/head
Dave Machado 6 anni fa
parent
commit
3828748eee
Non sono state trovate chiavi note per questa firma nel database ID Chiave GPG: 948D4778D01A7B3F
1 ha cambiato i file con 1 aggiunte e 12 eliminazioni
  1. +1
    -12
      build/main.sh

+ 1
- 12
build/main.sh Vedi File

@@ -29,18 +29,7 @@ else

fi

echo "checking if /json was changed..."
egrep "\+{3}\s.\/json\/" diff.txt > json.txt
if [[$? == 0]]; then
echo "JSON files are auto-generated! Please do not update these files:"
cat json.txt
exit 1
else
echo "/json check passed!"
rm json.txt
fi

echo "running format validation on $FORMAT_FILE..."
echo "running format validation..."
./validate_format.rb $FORMAT_FILE
if [[ $? != 0 ]]; then
echo "format validation failed!"


Caricamento…
Annulla
Salva