From 16124f6d5f4b9f0327a9c60615fc9f0fbcac97b0 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 29 Aug 2021 20:52:41 +0900
Subject: guix-update: Add command to build acl2.

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

(limited to 'jobs')

diff --git a/jobs/guix-update.run b/jobs/guix-update.run
index 2a19fa3..f38b3e0 100755
--- a/jobs/guix-update.run
+++ b/jobs/guix-update.run
@@ -2,3 +2,4 @@
 set -euo pipefail
 
 guix pull
+guix build acl2
-- 
cgit v1.2.3