diff options
| -rwxr-xr-x | linden/indra/develop.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/linden/indra/develop.py b/linden/indra/develop.py index 3344288..7d57973 100755 --- a/linden/indra/develop.py +++ b/linden/indra/develop.py | |||
| @@ -829,7 +829,6 @@ For example: develop.py configure -DSERVER:BOOL=OFF""" | |||
| 829 | for d in setup.build_dirs(): | 829 | for d in setup.build_dirs(): |
| 830 | if not os.path.exists(d): | 830 | if not os.path.exists(d): |
| 831 | raise CommandError('run "develop.py cmake" first') | 831 | raise CommandError('run "develop.py cmake" first') |
| 832 | setup.run_cmake() | ||
| 833 | opts, targets = setup.parse_build_opts(args) | 832 | opts, targets = setup.parse_build_opts(args) |
| 834 | setup.run_build(opts, targets) | 833 | setup.run_build(opts, targets) |
| 835 | elif cmd == 'clean': | 834 | elif cmd == 'clean': |