From 5c6b5fc1bda5810305bcdbc842f3b52788fe81dc Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 8 Sep 2021 17:54:00 +0900
Subject: guix-update: Build acl2-kernel.

---
 jobs/guix-update.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jobs/guix-update.run b/jobs/guix-update.run
index e640aec..74a5c88 100755
--- a/jobs/guix-update.run
+++ b/jobs/guix-update.run
@@ -2,4 +2,5 @@
 set -euo pipefail
 
 guix pull
+guix environment --ad-hoc acl2-kernel -- echo ok
 guix environment --ad-hoc acl2 -- echo ok
-- 
cgit v1.2.3