aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:14:06 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:14:06 +0900
commitd7c8c4a5788c8dcf57636b315b330219ae4ff4af (patch)
treef21de6f306df622c27904aeac36ebb652a5a7875 /jobs
parent59d6422eabff4070b6049c42e55bcb687969001e (diff)
Use pipefail.
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/acl2-theorems.before3
-rwxr-xr-xjobs/acl2-verify.run3
-rwxr-xr-xjobs/pull-cfg.run3
3 files changed, 6 insertions, 3 deletions
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index da530b7..2896556 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -1,3 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git .
diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run
index 050b435..94fa6a1 100755
--- a/jobs/acl2-verify.run
+++ b/jobs/acl2-verify.run
@@ -1,4 +1,5 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
echo "--- acl2 verify: $path ---"
{
diff --git a/jobs/pull-cfg.run b/jobs/pull-cfg.run
index 35d32e4..90ccac3 100755
--- a/jobs/pull-cfg.run
+++ b/jobs/pull-cfg.run
@@ -1,4 +1,5 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
cd /var/lib/laminar/cfg
guix environment --ad-hoc nss-certs git -- git pull