diff --git a/bin/gen_ci_config b/bin/gen_ci_config index 2fef102c60d3bfd3c5ebf8c3de66d2a387e11039..5d2ddbf68f0bb42e11c19082736bd51875c52139 100755 --- a/bin/gen_ci_config +++ b/bin/gen_ci_config @@ -57,6 +57,7 @@ cat <<EOF stages: #- simulate - benchmarks +EOF for script_name in ${BENCHMARK_SCRIPT_DIR}/*.sh do