evandrocoan 47ccd6638d Added -o pipefail to all set -e ensuring the build fails when some ... operation with pipe exits error status. # Conflicts: # Makefile		2020-02-24 20:18:56 -03:00
..
scripts	Added -o pipefail to all set -e ensuring the build fails when some	2020-02-24 20:18:56 -03:00
workflows	test possible CI speed-up	2020-02-24 21:23:51 +10:00