From ad976da41ea60e2cea45db4e212c5c9957a3b8a9 Mon Sep 17 00:00:00 2001
From: Adam Vandenberg
Date: Fri, 14 Sep 2012 11:05:55 -0700
Subject: coq: remove skip_clean

---
 Library/Formula/coq.rb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Library')

diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb
index 2f664e815..957806c0d 100644
--- a/Library/Formula/coq.rb
+++ b/Library/Formula/coq.rb
@@ -21,9 +21,8 @@ class Coq < Formula
   homepage 'http://coq.inria.fr/'
   url 'http://coq.inria.fr/distrib/V8.4/files/coq-8.4.tar.gz'
   sha1 '2987aa418dd96a0df7284afe296293cb28814ef5'
-  head 'svn://scm.gforge.inria.fr/svn/coq/trunk'
 
-  skip_clean :all
+  head 'svn://scm.gforge.inria.fr/svn/coq/trunk'
 
   depends_on TransitionalMode.new
   depends_on 'objective-caml'
-- 
cgit v1.2.3