Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Commit b8685e59 authored by Dominique Marcadet's avatar Dominique Marcadet

add an "hidden" option --do-not-display-copyright

parent bf4c32ee
......@@ -70,15 +70,10 @@ public class RiseClipseValidatorSCL {
public static void main( String[] args ) {
console.setLevel( IRiseClipseConsole.INFO_LEVEL );
displayLegal();
console.setLevel( IRiseClipseConsole.WARNING_LEVEL );
console.doNotDisplayIdenticalMessages();
if( args.length == 0 ) usage();
boolean make_explicit_links = false;
boolean displayCopyright = true;
int posFiles = 0;
for( int i = 0; i < args.length; ++i ) {
......@@ -93,6 +88,9 @@ public class RiseClipseValidatorSCL {
else if( "--make-explicit-links".equals( args[i] ) ) {
make_explicit_links = true;
}
else if( "--do-not-display-copyright".equals( args[i] ) ) {
displayCopyright = false;
}
else {
console.error( "Unrecognized option " + args[i] );
usage();
......@@ -100,6 +98,14 @@ public class RiseClipseValidatorSCL {
}
}
if( displayCopyright ) {
int level = console.setLevel( IRiseClipseConsole.INFO_LEVEL );
displayLegal();
console.setLevel( level );
}
console.doNotDisplayIdenticalMessages();
ArrayList< String > oclFiles = new ArrayList<>();
ArrayList< String > nsdFiles = new ArrayList<>();
ArrayList< String > sclFiles = new ArrayList<>();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment