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 "Building $PKGSLUG"
|
||||||
echo "Ensuring latest builder image"
|
echo "Ensuring latest builder image"
|
||||||
docker build repo -t piston-repo-builder
|
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
|
cd cli
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue