diff options
author | Robin H. Johnson <robbat2@gentoo.org> | 2003-04-05 23:58:41 +0000 |
---|---|---|
committer | Robin H. Johnson <robbat2@gentoo.org> | 2003-04-05 23:58:41 +0000 |
commit | 42f1cb9e62f001cc342a29f63800a13ef69a83bc (patch) | |
tree | 3a45841859e27022b302eadd6f7477050297554a /profiles | |
parent | updated ebuild (diff) | |
download | historical-42f1cb9e62f001cc342a29f63800a13ef69a83bc.tar.gz historical-42f1cb9e62f001cc342a29f63800a13ef69a83bc.tar.bz2 historical-42f1cb9e62f001cc342a29f63800a13ef69a83bc.zip |
masking =antlr-2.7.2 while working on it
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index c50eae8694c6..58e5d1a7b9c8 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -21,6 +21,10 @@ ## End example ## +# <robbat2@gentoo.org> (05 Apr 2003) +# temporary mask due to compile bug somebody pointed out to me directly +=dev-java/antlr-2.7.2 + # <danarmak@gentoo.org> (06 Apr 2003) # permamasked and will be removed from portage at some point since unmaintained usptream media-plugins/xmms-arts |