mirror of
https://github.com/engineer-man/piston.git
synced 2025-04-25 06:26:27 +02:00
pkg(mono-6.12.0): filename fixes
This commit is contained in:
parent
258539d593
commit
56d333f9ae
3 changed files with 4 additions and 4 deletions
3
packages/mono/6.12.0/run
vendored
3
packages/mono/6.12.0/run
vendored
|
@ -1,5 +1,4 @@
|
|||
#!/bin/bash
|
||||
|
||||
CODE=${1/cs/exe}
|
||||
shift
|
||||
mono $CODE "$@"
|
||||
mono out "$@"
|
Loading…
Add table
Add a link
Reference in a new issue