From 667e4d9e6e29dff329dd756c67acfe68b3eb7a74 Mon Sep 17 00:00:00 2001 From: Viktor Szakats Date: Sun, 20 Dec 2015 14:22:36 +0100 Subject: [PATCH] compcert: fix minor regression in desc * and a casing nit Closes Homebrew/homebrew#47198. Signed-off-by: Dominyk Tiller --- Formula/compcert.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/compcert.rb b/Formula/compcert.rb index 678425e7d4..4bbd2b7f7c 100644 --- a/Formula/compcert.rb +++ b/Formula/compcert.rb @@ -1,5 +1,5 @@ class Compcert < Formula - desc "Formally verified C verified compiler" + desc "Formally verified C compiler" homepage "http://compcert.inria.fr" url "https://github.com/AbsInt/CompCert/archive/v2.5.tar.gz" sha256 "36847b00fa5436ac8e052489b728adef2bc68064fe22dbdc18bf22256856fd95" @@ -19,7 +19,7 @@ class Compcert < Formula ENV.permit_arch_flags # Compcert's configure script hard-codes gcc. On Lion and under, this - # creates problems since XCode's gcc does not support CFI, + # creates problems since Xcode's gcc does not support CFI, # but superenv will trick it into using clang which does. This # causes problems with the compcert compiler at runtime. inreplace "configure", "${toolprefix}gcc", "${toolprefix}#{ENV.cc}"