diff options
Diffstat (limited to 'build-aux/check-make-embedded.sh')
| -rwxr-xr-x | build-aux/check-make-embedded.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build-aux/check-make-embedded.sh b/build-aux/check-make-embedded.sh new file mode 100755 index 0000000..d2e5fe4 --- /dev/null +++ b/build-aux/check-make-embedded.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +set -ex + +${MAKE_CMD:-make} check |