Makefile: replaced bash specific test [[ with [

Signed-off-by: Andrew Turner <andrewjamesturner0@gmail.com>
Merge branch '0.4.1dev-todo' into 0.4.1dev