mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-29 08:14:41 +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
|