mirror of
https://github.com/nasa/trick.git
synced 2024-12-18 20:57:55 +00:00
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.
This commit is contained in:
parent
e25a1b6a1f
commit
34c62c5aab
@ -1,4 +1,4 @@
|
|||||||
SHELL := /bin/sh
|
SHELL := /bin/bash
|
||||||
CD := cd
|
CD := cd
|
||||||
MV := /bin/mv
|
MV := /bin/mv
|
||||||
RM := /bin/rm
|
RM := /bin/rm
|
||||||
|
Loading…
Reference in New Issue
Block a user