Jeremy Benoist
29f5515959
Improve check by using list
...
See https://stackoverflow.com/a/27335439/569101
2020-01-13 15:58:59 +01:00
Jeremy Benoist
49eb5405de
Ensure ENV is well defined when using make
...
This command should fail before calling other commands (which will fail to because the environment is wrong):
```
ENV=toto make install
```
2020-01-13 14:26:10 +01:00
Luc Didry
7a4c375ebf
✨ Allow custom styles system wide
...
Should fix #4060
2019-10-11 10:40:25 +02:00
Olivier Mehani
b1574a3987
Make dev depend on build
...
Also, run `npm install` before building.
Signed-off-by: Olivier Mehani <shtrom@ssji.net>
2019-08-29 21:27:56 +10:00
Olivier Mehani
681e04b060
Makefile fixes for non GNU systems
...
* Move `Makefile` to `GNUmakefile`, which GNU `make` picks first
* Add `Makefile` so other `make`s forward to `gmake`
* Set the `SHELL` variable and let `make` handle the shell
Signed-off-by: Olivier Mehani <shtrom@ssji.net>
2018-08-18 18:50:18 +10:00
