diff --git a/script/build.sh b/script/build.sh index 80b9001..3bdf88c 100755 --- a/script/build.sh +++ b/script/build.sh @@ -66,6 +66,7 @@ if [ -d "./playground" ]; then done fi -${OUT_DIR}/lalserver -v && +#${OUT_DIR}/lalserver -v + ls -lrt ${OUT_DIR} && echo 'build done.'