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.develop.before | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)
 mode change 100755 => 120000 jobs/acl2-theorems.develop.before

(limited to 'jobs/acl2-theorems.develop.before')

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