mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-09 11:36:27 +02:00
Compare commits
No commits in common. "d61fb8ec5b061b1f08292162c24e6b9ef6b37bfa" and "0e7775f5d68eedfa39f6cd7545b7e99fec84668f" have entirely different histories.
d61fb8ec5b
...
0e7775f5d6
1 changed files with 1 additions and 1 deletions
2
piston
2
piston
|
@ -73,7 +73,7 @@ case $1 in
|
|||
echo "Building $PKGSLUG"
|
||||
echo "Ensuring latest builder image"
|
||||
docker build repo -t piston-repo-builder
|
||||
docker run --rm -v "$(realpath $(dirname "$0")):/piston" piston-repo-builder --no-server $PKGSLUG
|
||||
docker run -v "$(realpath $(dirname "$0")):/piston" piston-repo-builder --no-server $PKGSLUG
|
||||
;;
|
||||
*)
|
||||
cd cli
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue