-//
-// If called with --everything, use drush_get_arguments
-// to print the commandline arguments. Note that this
-// call will include 'php-script' (the drush command)
-// and the path to this script.
-//
-if (drush_get_option('everything')) {
- drush_print(" " . implode("\n ", drush_get_arguments()));
-}
-//
-// If --everything is not included, then use
-// drush_shift to pull off the arguments one at
-// a time. drush_shift only returns the user
-// commandline arguments, and does not include
-// the drush command or the path to this script.
-//
-else {
- while ($arg = drush_shift()) {
- drush_print(' ' . $arg);
- }
-}