From 8800796b947f6e106bda07a78cf7728d2fdede75 Mon Sep 17 00:00:00 2001 From: yanguwan Date: Fri, 10 Feb 2023 17:35:47 +0800 Subject: [PATCH] fix make_target --- scripts/.make_target.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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