openjdk: move license (again)

This commit is contained in:
Matthew Justin Bauer 2018-05-04 15:11:45 -05:00 committed by GitHub
parent cf84d6c275
commit b5e558b573
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,6 +16,11 @@ let
# jni.h expects jni_md.h to be in the header search path. # jni.h expects jni_md.h to be in the header search path.
ln -s $out/include/darwin/*_md.h $out/include/ ln -s $out/include/darwin/*_md.h $out/include/
if [ -f $out/LICENSE ]; then
install -D $out/LICENSE $out/share/zulu/LICENSE
rm $out/LICENSE
fi
''; '';
preFixup = '' preFixup = ''