diff options
Diffstat (limited to 'contrib/cirrus/packer/make-user-data.sh')
| -rw-r--r-- | contrib/cirrus/packer/make-user-data.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cirrus/packer/make-user-data.sh b/contrib/cirrus/packer/make-user-data.sh index 7f7fa1c1a..676a50f5c 100644 --- a/contrib/cirrus/packer/make-user-data.sh +++ b/contrib/cirrus/packer/make-user-data.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This script is utilized by Makefile, it's not intended to be run by humans |