From 96c4d6fecc190f5ae30219b5743b4fc9ef17b545 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Thu, 23 May 2024 00:04:13 -0700
Subject: [PATCH] Fail if couldn't build Agda

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 build-agda-html.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-agda-html.rb b/build-agda-html.rb
index ccdb1d3..c271988 100644
--- 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