gnu-time: add gnubin and gnuman symlink dirs

This commit is contained in:
Chongyu Zhu 2018-09-21 19:23:29 +08:00
parent d152b46b75
commit 82dc091aa2
No known key found for this signature in database
GPG key ID: 1A43E3C9100B38F5

View file

@ -26,6 +26,10 @@ class GnuTime < Formula
system "./configure", *args
system "make", "install"
if build.without? "default-names"
(libexec/"gnubin").install_symlink bin/"gtime" => "time"
end
end
test do