Loading update.sh +1 −0 Changes for update.sh: 1 added line, 0 removed lines. Original line number Diff line number Diff line Loading @@ -4,6 +4,7 @@ # as necessary. git pull git submodule update --init if [ "$1" = "with-deps" ]; then mkdir local.new Loading Loading
update.sh +1 −0 Changes for update.sh: 1 added line, 0 removed lines. Original line number Diff line number Diff line Loading @@ -4,6 +4,7 @@ # as necessary. git pull git submodule update --init if [ "$1" = "with-deps" ]; then mkdir local.new Loading