Merge pull request #15155 from yawnt/java-source-files

jdk: keep source files for IDE support
This commit is contained in:
Joachim Fasting 2016-05-07 17:45:32 +02:00
commit 0a9b7b3159

View file

@ -106,7 +106,8 @@ let result = stdenv.mkDerivation rec {
mv $sourceRoot $out
fi
for file in $out/*
shopt -s extglob
for file in $out/!(*src.zip)
do
if test -f $file ; then
rm $file