From 282b7cc3c5123dae822dd72d0d1a37322a298a6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E4=B8=9C=E6=96=B9=E6=98=9F=E7=97=95?= Date: Fri, 20 Nov 2020 14:48:39 +0800 Subject: [PATCH] =?UTF-8?q?fix:=20=E8=84=9A=E6=9C=AC=E5=8F=AA=E8=A6=81?= =?UTF-8?q?=E6=9C=89=E6=B2=A1=E6=89=A7=E8=A1=8C=E6=88=90=E5=8A=9F=E7=9A=84?= =?UTF-8?q?=E5=91=BD=E4=BB=A4=E5=B0=B1=E4=B8=AD=E6=AD=A2=E6=89=A7=E8=A1=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- tools/setup_tools.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/setup_tools.sh b/tools/setup_tools.sh index 34068c4..4d23ccd 100755 --- a/tools/setup_tools.sh +++ b/tools/setup_tools.sh @@ -14,6 +14,7 @@ # See the MulanPSL - 2.0 for more details. # +set -e if [ ! -f ../bin/ast2mpl ]; then cd ../bin/ast2mpl_files cat ast2mpl_aa ast2mpl_ab ast2mpl_ac ast2mpl_ad > ast2mpl.gz -- Gitee