diff --git a/scripts/.make_target.sh b/scripts/.make_target.sh index e3128f88..33bd896e 100644 --- a/scripts/.make_target.sh +++ b/scripts/.make_target.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash make $1 &> make.log grep FAIL make.log