diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
| -rw-r--r-- | scripts/lib/devtool/standard.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index c8d7eb1b2b..02ed23574b 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
| @@ -74,7 +74,7 @@ def add(args, config, basepath, workspace): | |||
| 74 | if args.fetchuri: | 74 | if args.fetchuri: |
| 75 | raise DevtoolError('URI specified as positional argument as well as -f/--fetch') | 75 | raise DevtoolError('URI specified as positional argument as well as -f/--fetch') |
| 76 | else: | 76 | else: |
| 77 | # FIXME should show a warning that -f/--fetch is deprecated here | 77 | logger.warn('-f/--fetch option is deprecated - you can now simply specify the URL to fetch as a positional argument instead') |
| 78 | args.fetchuri = args.fetch | 78 | args.fetchuri = args.fetch |
| 79 | 79 | ||
| 80 | if args.recipename: | 80 | if args.recipename: |