Skip to content
Snippets Groups Projects
Commit 38ecbbd1 authored by David Rosca's avatar David Rosca
Browse files

makefile: Add SHELL = /bin/bash

Fix build on systems where /bin/sh is not symlinked
to bash (Debian, Ubuntu?)
parent 7f1b191a
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment