From c647bdf2909edb4c6ed50cdca342047f29d1df7e Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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 (limited to 'jobs') 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