20 lines
334 B
Bash
Executable File
20 lines
334 B
Bash
Executable File
#!/bin/bash
|
|
set -euo pipefail
|
|
|
|
source dependencies.sh
|
|
|
|
cd $HOME/SpacemanDMM
|
|
|
|
if [ ! -d .git ]
|
|
then
|
|
git init
|
|
git remote add origin https://github.com/SpaceManiac/SpacemanDMM.git
|
|
fi
|
|
|
|
git fetch origin --depth=1 $SPACEMAN_DMM_COMMIT_HASH
|
|
git reset --hard FETCH_HEAD
|
|
|
|
cargo build --release --bin $1
|
|
cp target/release/$1 ~
|
|
~/$1 --version
|