jdk/make/jprt.config
changeset 715 f16baef3a20e
parent 642 d1f02d5e4c74
child 918 13c9fcc3d068
equal deleted inserted replaced
714:6a05e0bdaee5 715:f16baef3a20e
     1 #!echo "This is not a shell script"
     1 #!echo "This is not a shell script"
     2 #############################################################################
     2 #############################################################################
     3 #
     3 #
     4 # Copyright 2006-2007 Sun Microsystems, Inc.  All Rights Reserved.
     4 # Copyright 2006-2008 Sun Microsystems, Inc.  All Rights Reserved.
     5 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     5 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     6 #
     6 #
     7 # This code is free software; you can redistribute it and/or modify it
     7 # This code is free software; you can redistribute it and/or modify it
     8 # under the terms of the GNU General Public License version 2 only, as
     8 # under the terms of the GNU General Public License version 2 only, as
     9 # published by the Free Software Foundation.  Sun designates this
     9 # published by the Free Software Foundation.  Sun designates this