10 lines
131 B
Bash
Executable File
10 lines
131 B
Bash
Executable File
#!/bin/bash
|
|
|
|
ROOT=$(dirname $0)/..
|
|
pushd $ROOT
|
|
|
|
set -ex
|
|
|
|
cargo build --profile extra-small
|
|
cp -f target/extra-small/blog-server ./
|