diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 01:26:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 01:26:01 +0900 |
| commit | c647bdf2909edb4c6ed50cdca342047f29d1df7e (patch) | |
| tree | 62e5569af8d1b08719ff51f213b32f9c9a77e110 | |
| parent | e674b2ea879f6b1c48c6f3d35a4d9313afcc698d (diff) | |
acl2-theorems: Update `before` script.
| -rwxr-xr-x | jobs/acl2-theorems.before | 4 | ||||
| l---------[-rwxr-xr-x] | jobs/acl2-theorems.develop.before | 7 |
2 files changed, 5 insertions, 6 deletions
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 index 088f78a..05c494d 100755..120000 --- a/jobs/acl2-theorems.develop.before +++ b/jobs/acl2-theorems.develop.before @@ -1,6 +1 @@ -#!/usr/bin/env bash -set -euo pipefail - -git clone https://git.tojo.tokyo/acl2-theorems.git . -git checkout "$branch" -git log -n 1 +./acl2-theorems.before
\ No newline at end of file |