diff options
Diffstat (limited to 'pkgs/servers/http/jboss/builder.sh')
-rw-r--r-- | pkgs/servers/http/jboss/builder.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/pkgs/servers/http/jboss/builder.sh b/pkgs/servers/http/jboss/builder.sh deleted file mode 100644 index 335620009197..000000000000 --- a/pkgs/servers/http/jboss/builder.sh +++ /dev/null @@ -1,15 +0,0 @@ -buildInputs="$jdk5" -source $stdenv/setup - -export JDK_HOME=$jdk5 -export JAVA_HOME=$jdk5 - -tar xfvz $src -cd jboss-* -cd build -sh build.sh -ensureDir $out -cp -av output/jboss-*/* $out - -# Insert JAVA_HOME variable to make sure the latest JRE is used and not version 5 -sed -i -e "/GREP/aJAVA_HOME=$jdk" $out/bin/run.sh |