Skip to content

Commit ed08367

Browse files
make sure old dist is not empty
1 parent 2e50737 commit ed08367

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

generator.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ distFolder=dist
77
distPrefix=ColorEcho
88
table="color table.txt"
99

10-
if [ ! -r "$distFolder/$distPrefix".bash ]; then
10+
if [ ! -r "$distFolder/$distPrefix".bash ] || [ ! -s "$distFolder/$distPrefix".bash ]; then
1111
echo "$distFolder$distPrefix".bash is not readable, fallback to use origin echo
1212
alias echo.Red='echo'
1313
alias echo.Green='echo'

0 commit comments

Comments
 (0)