Revision 1446566f ide/idesetup.sh

View differences:

ide/idesetup.sh
346 346
  fi
347 347
  printf "\n"
348 348

  
349
  # if --help or -h was specified, print the help text and exit
350
  if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then
351
    printHelp
352
    printf "\n"
353
    quitScript
354
  fi
355

  
349 356
  # set log file if specified
350 357
  if [[ $@ == *"--log"* ]] || [[ $@ == *"--LOG"* ]]; then
351 358
    # get the parameter (file name)
......
369 376
      printf "\n"
370 377
    fi
371 378
  fi
372

  
373 379
  # log script name
374 380
  printLog "this is $(realpath ${BASH_SOURCE[0]})\n"
375 381

  
376
  # if --help or -h was specified, print the help text and exit
377
  if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then
378
    printHelp
379
    printf "\n"
380
    quitScript
381
  fi
382

  
383 382
  # parse arguments
384 383
  local otherargs=()
385 384
  while [ $# -gt 0 ]; do

Also available in: Unified diff