fix: clean up after cp'ing script [ci skip]

Follows 31e0ed75b0.
2023-11-27 11:21:27 +01:00
parent 31e0ed75b0
commit 15857e6453
2 changed files with 2 additions and 3 deletions
--- a/scripts/docker/build.sh
+++ b/scripts/docker/build.sh
@ -0,0 +1,11 @@
+#!/bin/bash
+
+if [ ! -f .envrc ]; then
+    . .envrc.sample
+else
+    . .envrc
+fi
+
+git config --global --add safe.directory /abra  # work around funky file permissions
+
+make build