From 2c08fd5fd68c6512df258060a752fa2c8ad59ea9 Mon Sep 17 00:00:00 2001 From: brookeangel Date: Thu, 9 May 2019 09:03:30 -0700 Subject: [PATCH] unconditionally make public --- script/develop.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 <