diff --git a/script/develop.sh b/script/develop.sh index 16714c49..327c441d 100755 --- a/script/develop.sh +++ b/script/develop.sh @@ -3,9 +3,10 @@ set -euo pipefail if test -d public; then rm -rf public - make -j public fi +make -j public + cat <