From a3bd3b5f29cbfb1fdb53685783d88860a2ff1ec0 Mon Sep 17 00:00:00 2001
From: Ms2ger <Ms2ger@gmail.com>
Date: Fri, 15 Mar 2019 15:13:29 +0100
Subject: [PATCH] Make the grammar check more robust

In particular, fail immediately if the server returns with an error, and yield
a readable error if no grammar snippets are found in the specification.
---
 check-grammar.js | 4 ++++
 deploy.sh        | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/check-grammar.js b/check-grammar.js
index cbd9acc3..d9a9e559 100644
--- a/check-grammar.js
+++ b/check-grammar.js
@@ -31,6 +31,10 @@ let path = process.argv[2];
 let html = fs.readFileSync(path, "utf8");
 let dom = new jsdom.JSDOM(html);
 let rules = getRulesFromDOM(dom.window);
+if (!rules.length) {
+    console.log("Did not find any grammar snippets in the generated specification.");
+    process.exit(1);
+}
 let bnf = toBNF(rules);
 let data = Grammar.dataFromString(bnf, "bnf");
 let grammar = Grammar.fromData(data, { mode: "LL1" });
diff --git a/deploy.sh b/deploy.sh
index 717f679a..b08a64d2 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -5,7 +5,7 @@ SOURCE_BRANCH="master"
 TARGET_BRANCH="gh-pages"
 
 function doCompile {
-  curl https://api.csswg.org/bikeshed/ -F file=@index.bs > out/index.html
+  curl https://api.csswg.org/bikeshed/ -f -F file=@index.bs > out/index.html
   node ./check-grammar.js ./out/index.html
   npm run pp-webidl -- --input ./out/index.html
 }