mirror of
https://github.com/engineer-man/piston.git
synced 2025-04-23 05:26:28 +02:00
pkg(pony-0.39.0): Properly delete the build dir.
This commit is contained in:
parent
4ec436fdce
commit
f8529379b9
1 changed files with 1 additions and 0 deletions
1
packages/ponylang/0.39.0/build.sh
vendored
1
packages/ponylang/0.39.0/build.sh
vendored
|
@ -22,4 +22,5 @@ make build
|
|||
# Install pony into `$PREFIX`.
|
||||
make prefix="$PREFIX" install
|
||||
|
||||
cd ..
|
||||
rm -rf ponyc
|
Loading…
Add table
Add a link
Reference in a new issue