diff options
Diffstat (limited to 'linden')
-rwxr-xr-x | linden/indra/develop.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/linden/indra/develop.py b/linden/indra/develop.py index 4e16885..809ac78 100755 --- a/linden/indra/develop.py +++ b/linden/indra/develop.py | |||
@@ -706,9 +706,10 @@ Options: | |||
706 | -p | --project=NAME set the root project name. (Doesn't effect makefiles) | 706 | -p | --project=NAME set the root project name. (Doesn't effect makefiles) |
707 | 707 | ||
708 | Commands: | 708 | Commands: |
709 | build configure and build default target | 709 | build configure and build default target |
710 | clean delete all build directories, does not affect sources | 710 | clean delete all build directories, does not affect sources |
711 | configure configure project by running cmake (default command if none given) | 711 | configure configure project by running cmake (default if none given) |
712 | printbuilddirs print the build directory that will be used | ||
712 | 713 | ||
713 | Command-options for "configure": | 714 | Command-options for "configure": |
714 | We use cmake variables to change the build configuration. | 715 | We use cmake variables to change the build configuration. |
@@ -788,6 +789,9 @@ For example: develop.py configure -DSERVER:BOOL=OFF""" | |||
788 | if args: | 789 | if args: |
789 | raise CommandError('clean takes no arguments') | 790 | raise CommandError('clean takes no arguments') |
790 | setup.cleanup() | 791 | setup.cleanup() |
792 | elif cmd == 'printbuilddirs': | ||
793 | for d in setup.build_dirs(): | ||
794 | print >> sys.stdout, d | ||
791 | else: | 795 | else: |
792 | print >> sys.stderr, 'Error: unknown subcommand', repr(cmd) | 796 | print >> sys.stderr, 'Error: unknown subcommand', repr(cmd) |
793 | print >> sys.stderr, "(run 'develop.py --help' for help)" | 797 | print >> sys.stderr, "(run 'develop.py --help' for help)" |