aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/linden
diff options
context:
space:
mode:
Diffstat (limited to 'linden')
-rwxr-xr-xlinden/indra/develop.py10
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
708Commands: 708Commands:
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
713Command-options for "configure": 714Command-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)"