mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-19 04:18:56 +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
|