Build: dash/echo does not know about -e switch

[fhaverkamp]

haver@tul3eth3:~/snap$ make clean
-e [CLEAN ENVIRONMENT...] start 13:46:26 Mon Oct 16 2017
-e                         vivado project
-e                         IPs
-e                         sim files
-e                         log files
-e                         action
-e [CLEAN ENVIRONMENT...] done  13:46:26 Mon Oct 16 2017

And here is why:

hdcl070: haver /afs/bb/u/haver $ echo -e "Hallo Thomas"
Hallo Thomas
hdcl070: haver /afs/bb/u/haver $ /bin/dash 
hdcl070: haver /afs/bb/u/haver $ echo -e "Hallo Thomas"
-e Hallo Thomas
hdcl070: haver /afs/bb/u/haver $ 

[fhaverkamp]

A simple potential fix is to add SHELL=/bin/bash to the affected Makefiles. This way bash is chosen as shell and the -e messages will go away.