mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4c7b32 | patch | commitdiff
neil_a_wilson
31.01.2006 4bdfe40f0de2346471a1f940dc6130950d37c122
refs
author neil_a_wilson <neil_a_wilson@localhost>
Tuesday, October 31, 2006 02:01 +0100
committer neil_a_wilson <neil_a_wilson@localhost>
Tuesday, October 31, 2006 02:01 +0100
commit4bdfe40f0de2346471a1f940dc6130950d37c122
tree 59dd153dcb73ba8255d1b02b3ebbd3704b31515b tree | zip | gz
parent 4c7b32396040c051276188758f1bcb5c5a19e09e view | diff 
Update the build file to fix a bug that caused all of the administrative
shell scripts to be added twice.  This caused problems when trying to extract
the contents of the file, and also made the resulting zip file larger than
necessary.

OpenDS Issue Number:  907
1 files modified
13 ■■■■■ changed files
opendj-sdk/opends/build.xml 13 ●●●●● diff | view | raw | blame | history