« Previous | Next » 

Revision a01dd3c6

IDa01dd3c68d19f1e25c2f1fd76cb1298889a05371

Added by Iustin Pop about 13 years ago

Change the Makefile to use bash as SHELL

This is because we want, whenever we use sequences of commands, to set
pipefail, otherwise detecting build failures is difficult.

Signed-off-by: Iustin Pop <>
Reviewed-by: René Nussbaumer <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences