rts/configure.ac · 7233b3b1f88cdc8bc9b4e2c0235ab158ecbe9913 · Reinier Maas / GHC · GitLab

Nov 02, 2023
7233b3b1
Use '[' instead of '[[' because the latter is a Bash-ism · 7233b3b1
PHO authored Nov 02, 2023 and Marge Bot committed Nov 09, 2023
```
It doesn't work on platforms where /bin/sh is something other than Bash.
```
7233b3b1
Use '[' instead of '[[' because the latter is a Bash-ism
PHO authored Nov 02, 2023 and Marge Bot committed Nov 09, 2023
```
It doesn't work on platforms where /bin/sh is something other than Bash.
```