makefile · 38ecbbd1b3483753982898c71e16f0900fe0e32a · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

10 years ago
38ecbbd1
makefile: Add SHELL = /bin/bash · 38ecbbd1
David Rosca authored 10 years ago
```
Fix build on systems where /bin/sh is not symlinked
to bash (Debian, Ubuntu?)
```
38ecbbd1

History
makefile: Add SHELL = /bin/bash
David Rosca authored 10 years ago
```
Fix build on systems where /bin/sh is not symlinked
to bash (Debian, Ubuntu?)
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.