set executable rights

This commit is contained in:
Volker Berlin 2017-04-04 21:45:42 +02:00
parent dfa09eb972
commit 53a8820a1f

View File

@ -82,6 +82,9 @@ public class SpiderMonkey {
Files.copy( zip, file.toPath(), StandardCopyOption.REPLACE_EXISTING );
file.setLastModified( entry.getTime() );
if( "js".equals( file.getName() ) ) {
file.setExecutable( true );
}
} while( true );
target.setLastModified( lastModfied );
}