chore: Use /bin/sh for /script/diff

open-contracting · May 23, 2024 · 0ba882f · 0ba882f
1 parent a3c6f2b
commit 0ba882f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/script/diff b/script/diff
@@ -1,6 +1,7 @@
-#!/usr/bin/env bash
-# No -e, because diff fails.
-set -uo pipefail
+#!/bin/sh
+
+# No -e, because diff uses exit status 1 if differences were found.
+set -u
 
 curl -sS https://raw.githubusercontent.com/open-contracting/standard_profile_template/latest/docs/conf.py | diff -u - docs/conf.py