fixed #698, Use bash instead of dash in gen_type_name.sh on Ubuntu (#703)

2021-12-13 14:11:29 +08:00
parent 09b22898e1
commit 0822911e8c
1 changed files with 2 additions and 1 deletions
--- a/src/sql/parser/gen_type_name.sh
+++ b/src/sql/parser/gen_type_name.sh
@ -1,4 +1,5 @@
-#!/bin/sh
+#!/bin/bash
+
 echo '/**
 * Copyright (c) 2021 OceanBase
 * OceanBase CE is licensed under Mulan PubL v2.