Fail if couldn't build Agda

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-23 00:04:13 -07:00 · 2024-05-23 00:04:13 -07:00 · 96c4d6fecc
commit 96c4d6fecc
parent 4e1fd54c58
1 changed files with 1 additions and 0 deletions
--- a/build-agda-html.rb
+++ b/build-agda-html.rb
@ -32,5 +32,6 @@ files_for_paths.each do |path, files|
  files.each do |file|
    puts "Invoking 'agda' on file: #{File.join [Dir.getwd, file]}"
    `#{ARGV[0]} --local-interfaces #{file} --html --html-dir=html`
+    fail unless $? == 0
  end
 end