Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Print result of executing command

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-05-24 13:17:44 -07:00
parent ee118b07e5
commit 1da60b3b28
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-agda-html.rb
View File

@ -59,7 +59,7 @@ files_for_paths.each do |path, files|
files.each do |file| files.each do |file|
command = "#{ARGV[0]} --local-interfaces #{file} --html --html-dir=#{html_dir}" command = "#{ARGV[0]} --local-interfaces #{file} --html --html-dir=#{html_dir}"
puts command puts command
`#{command}` puts `#{command}`
# Allow some programs to fail (e.g., IO.agda in SPA without --guardedness) # Allow some programs to fail (e.g., IO.agda in SPA without --guardedness)
# fail unless $? == 0 # fail unless $? == 0