make use bash instead of sh for top level Makefile
Signed-off-by: Janos SUTO <sj@acts.hu>
1 parent 58e9b80 commit 4487d6948f35311dd85d75adc61e5d85bfd693c4
@Janos SUTO Janos SUTO authored on 30 Mar 2018
Showing 1 changed file
View
Makefile.in