pony needs the right extension

This commit is contained in:
Thomas Hobson 2021-04-25 13:09:08 +12:00
parent 03c64cfecf
commit fefd1fa8e8
No known key found for this signature in database
GPG Key ID: 9F1FD9D87950DB6F
1 changed files with 1 additions and 1 deletions

View File

@ -1,5 +1,5 @@
#!/usr/bin/env bash
# Compile pony file(s)
rename 's/$/\.pong/' "$@" # Add .pony extension
rename 's/$/\.pony/' "$@" # Add .pony extension
ponyc -b out