mikros/serde
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Merge pull request #2587 from wucke13/master

Browse Source 
fix shebang in build.sh
This commit is contained in:
Oli Scherer 2023-08-21 00:22:31 +02:00 committed by GitHub
commit 4617c957b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
precompiled/build.sh
View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null
set -e -x