Match found: $1 --compile-dir=../../_build -c [Main.agda] > log
Match found: ./../../[_build/]Main > output
No match found
Match found: rm ../../[_build/]Main
Match found: rm ../../[_build/MAlonzo/Code/]Main*