From 5da35798a4857ab5252b7face0774cfbbf7f5c19 Mon Sep 17 00:00:00 2001 From: nutti Date: Mon, 14 Aug 2023 17:46:25 +0900 Subject: [PATCH] Fix: Build error --- src/gen_module.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen_module.sh b/src/gen_module.sh index 57fda4aeb..a15901f4f 100755 --- a/src/gen_module.sh +++ b/src/gen_module.sh @@ -8,7 +8,7 @@ SCRIPT_DIR=$(cd $(dirname "$0"); pwd) } PYTHON_BIN=${PYTHON_BIN:-python} -if [ $# -ne 5 ] && [ $# -ne 6 ]; then +if [ $# -ne 6 ] && [ $# -ne 7 ]; then echo "Usage: bash gen_module.sh []" exit 1 fi