use bash rather than sh in scripts

This commit is contained in:
Alex Bates 2020-08-19 01:43:40 +01:00
parent 91d2819d6f
commit 7ea15f8f8a
No known key found for this signature in database
GPG Key ID: 5E11C2DB78877706
2 changed files with 3 additions and 1 deletions

View File

@ -1,3 +1,5 @@
#!/bin/bash
COMPILER_OPTS="-fno-builtin -std=gnu89 -Iinclude -Isrc -D_LANGUAGE_C"
shopt -s globstar

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# Ubuntu
if command -v apt-install &> /dev/null; then