mirror of
https://gcc.gnu.org/git/gcc.git
synced 2024-11-26 04:14:06 +08:00
3 lines
68 B
Plaintext
3 lines
68 B
Plaintext
|
# /bin/sh is too buggy, so use /bin/bash instead.
|
||
|
|
SHELL = /bin/bash
|