Philipp Gühring
11/20/2020, 10:10 PMtnt
11/20/2020, 10:15 PMMakefile
needs bash
it doesn' work well under sh
tnt
11/20/2020, 10:16 PM/bin/sh: 1: [[: not found
it's failing at executing the right commands right from the start.Philipp Gühring
11/21/2020, 7:46 PMPhilipp Gühring
11/21/2020, 7:46 PM