Avoid filename conflicts and cleanup files after
This commit is contained in:
parent
808066db94
commit
82eff621bf
21 changed files with 87 additions and 3 deletions
|
@ -1,2 +1,6 @@
|
|||
mkdir "$COUNT" && cd "$COUNT"
|
||||
|
||||
echo "$1" > program.fs
|
||||
fsharpc --optimize- program.fs >/dev/null && mono program.exe
|
||||
|
||||
cd .. && rm -rf "$COUNT"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue