Alex Lin 34c62c5aab Sim build doesn't stop on error #421 ... PIPESTATUS is only available in bash. For many of the systems we use /bin/sh and /bin/bash are the same, but noooo, not on Ubuntu where it is linked to dash. I set SHELL := /bin/bash in our makefile now.		2017-05-18 14:34:32 -05:00
..
doc/trick	Remove some outdated documentation #279	2016-08-10 13:55:16 -05:00
man/man1	man pages completely out of date #253	2016-08-02 09:56:43 -05:00
trick	Sim build doesn't stop on error #421	2017-05-18 14:34:32 -05:00