Make: use bash
This commit is contained in:
parent
ce6ddf36c7
commit
e40122c0b5
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -1,5 +1,6 @@
|
|||
WHOLE=whole
|
||||
LAST=last
|
||||
SHELL:=/bin/bash
|
||||
|
||||
HEADER=header.tex
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue