From c647bdf2909edb4c6ed50cdca342047f29d1df7e Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 1 Aug 2021 01:26:01 +0900
Subject: acl2-theorems: Update `before` script.

---
 jobs/acl2-theorems.before         | 4 ++++
 jobs/acl2-theorems.develop.before | 7 +------
 2 files changed, 5 insertions(+), 6 deletions(-)
 mode change 100755 => 120000 jobs/acl2-theorems.develop.before

diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index de7c2c9..f21a912 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -2,5 +2,9 @@
 set -euo pipefail
 
 git clone https://git.tojo.tokyo/acl2-theorems.git .
+echo
+git checkout "${branch:-master}"
+echo '---'
 git log -n 1
+echo '---'
 echo
diff --git a/jobs/acl2-theorems.develop.before b/jobs/acl2-theorems.develop.before
deleted file mode 100755
index 088f78a..0000000
--- a/jobs/acl2-theorems.develop.before
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-git clone https://git.tojo.tokyo/acl2-theorems.git .
-git checkout "$branch"
-git log -n 1
diff --git a/jobs/acl2-theorems.develop.before b/jobs/acl2-theorems.develop.before
new file mode 120000
index 0000000..05c494d
--- /dev/null
+++ b/jobs/acl2-theorems.develop.before
@@ -0,0 +1 @@
+./acl2-theorems.before
\ No newline at end of file
-- 
cgit v1.2.3