Browse Source

Fix mistake

content-update
xpetit 3 years ago
parent
commit
540be8fd06
No known key found for this signature in database
GPG Key ID: 97C60669182C17A5
  1. 4
      sh/debian/ubuntu/configure.sh

4
sh/debian/ubuntu/configure.sh diff.vendored

@ -434,8 +434,8 @@ cd /tmp/system
cp --preserve=mode -RT . /
cd /usr/local/src/format
sudo -iu student go mod download
sudo -iu student go build -o /usr/local/bin/format
go mod download
go build -o /usr/local/bin/format
cd "$script_dir"
rm -rf /tmp/system

Loading…
Cancel
Save