wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

idris: simplify interpolation

Browse source
This commit is contained in:
Jack Nagel 2014-11-06 16:40:28 -06:00
parent 2a24b25c26
commit 490f77684b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/idris.rb
View file

@ -29,8 +29,8 @@ class Idris < Formula
main : IO ()
main = putStrLn "Hello, Homebrew!"
EOS
shell_output "#{bin/"idris"} #{testpath/"hello.idr"} -o #{testpath/"hello"}"
result = shell_output "#{testpath/"hello"}"
shell_output "#{bin}/idris #{testpath}/hello.idr -o #{testpath}/hello"
result = shell_output "#{testpath}/hello"
assert_match /Hello, Homebrew!/, result
end
end