From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id ; Sat, 20 Apr 2002 17:50:56 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id ; Sat, 20 Apr 2002 17:50:55 -0400 Received: from [195.39.17.254] ([195.39.17.254]:49805 "EHLO Elf.ucw.cz") by vger.kernel.org with ESMTP id ; Sat, 20 Apr 2002 17:50:54 -0400 Date: Sat, 20 Apr 2002 23:49:19 +0200 From: Pavel Machek To: Dave Jones , Daniel Phillips , Anton Altaparmakov , kernel list Subject: Re: [PATCH] Remove Bitkeeper documentation from Linux tree (fwd) Message-ID: <20020420214919.GC10549@elf.ucw.cz> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.28i X-Warning: Reading this can be dangerous to your mental health. Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org ----- Forwarded message from Pavel Machek ----- To: Dave Jones , Daniel Phillips , Anton Altaparmakov Subject: Re: [PATCH] Remove Bitkeeper documentation from Linux tree In-Reply-To: <20020420191940.D856@suse.de> Content-Disposition: inline In-Reply-To: <20020420191940.D856@suse.de> User-Agent: Mutt/1.3.28i X-Warning: Reading this can be dangerous to your mental health. Hi! > > Oh I don't disagree at all. Bitkeeper is a big improvement over what > > existed before. But it is proprietary. Which other tool in the tool chain > > is proprietary? > > Film at 11: proprietory tool used in Linux. > Maybe we should back out all those fixes the Stanford people found with > their checker ? Maybe we should back out the x86-64 port seeing as > it Standford checker was proprietary? > was (partly) done with a commercial simulator? That's another case; doing development on proprietary CPU is okay, so doing development on emulator (== CPU equivalent) should be okay, too. Pavel -- (about SSSCA) "I don't say this lightly. However, I really think that the U.S. no longer is classifiable as a democracy, but rather as a plutocracy." --hpa ----- End forwarded message ----- -- (about SSSCA) "I don't say this lightly. However, I really think that the U.S. no longer is classifiable as a democracy, but rather as a plutocracy." --hpa