mirror of
https://gitee.com/element-plus/element-plus.git
synced 2024-12-03 19:58:09 +08:00
6 lines
74 B
Bash
6 lines
74 B
Bash
#!/bin/sh
|
|
|
|
if [ ! -d "dist/element-plus" ]; then
|
|
sh scripts/build.sh
|
|
fi
|