Change the shell, for better compatibility.

2024-05-14 19:21:13 +02:00 · 2024-05-14 19:21:13 +02:00 · 93b5a57c35
parent f139028deb
commit 93b5a57c35
1 changed files with 1 additions and 1 deletions
--- a/scripts/generate_manifest
+++ b/scripts/generate_manifest
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash

 [ "$1" = "" ] && {
    printf "%s\n" "Usage: $0 <file>"