[java-identity-provider] branch master updated: IDP-1090 remove unused file copies

Rod Widdowson rdw at steadingsoftware.com
Fri Jun 29 10:31:36 EDT 2018


This is an automated email from the git hooks/post-receive script.

rdw pushed a commit to branch master
in repository java-identity-provider.

View the commit online:
http://git.shibboleth.net/view/?p=java-identity-provider.git;a=commit;h=1d5fd8aaae9c3198a1056ae5b7ad296bdcc5bd2d

The following commit(s) were added to refs/heads/master by this push:
       new  1d5fd8a   IDP-1090 remove unused file copies
1d5fd8a is described below

commit 1d5fd8aaae9c3198a1056ae5b7ad296bdcc5bd2d
Author: Rod Widdowson <rdw at steadingsoftware.com>
AuthorDate: Fri Jun 29 15:30:44 2018 +0100

    IDP-1090 remove unused file copies
    
    https://issues.shibboleth.net/jira/browse/IDP-1090
    
    Leave the target in place since we need the dependencies,
    just strip the actions.
---
 idp-distribution/src/main/resources/bin/ant-jetty.xml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/idp-distribution/src/main/resources/bin/ant-jetty.xml b/idp-distribution/src/main/resources/bin/ant-jetty.xml
index 100a863..995a0b0 100644
--- a/idp-distribution/src/main/resources/bin/ant-jetty.xml
+++ b/idp-distribution/src/main/resources/bin/ant-jetty.xml
@@ -80,10 +80,7 @@
         <mkdir dir="static" />
     </target>
 
-    <target name="copyinis" depends="properties, directories, copyidpini, rewriteidpini">
-        <copy file="jetty-base/start.d.dist/jsp.ini" tofile="jetty-base/start.d/jsp.ini" overwrite="false" failonerror="false" />
-        <copy file="jetty-base/start.d.dist/jstl.ini" tofile="jetty-base/start.d/jstl.ini" overwrite="false" failonerror="false" />
-    </target>
+    <target name="copyinis" depends="properties, directories, copyidpini, rewriteidpini"/>
 
     <target name="copyidpini" depends="directories" unless="idp.ini.present">
         <mergeproperties inFile="${idp.target.dir}/jetty-base/start.d.dist/idp.ini" outFile="${idp.target.dir}/jetty-base/start.d/idp.ini" mergeFile="${jetty.merge.properties}" />

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.


More information about the commits mailing list