summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tools/buildman/control.py10
1 files changed, 4 insertions, 6 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py
index d98e50a..68ea961 100644
--- a/tools/buildman/control.py
+++ b/tools/buildman/control.py
@@ -120,12 +120,10 @@ def DoBuildman(options, args):
# Work out what subset of the boards we are building
board_file = os.path.join(options.git, 'boards.cfg')
- if not os.path.exists(board_file):
- print 'Could not find %s' % board_file
- status = subprocess.call([os.path.join(options.git,
- 'tools/genboardscfg.py')])
- if status != 0:
- sys.exit("Failed to generate boards.cfg")
+ status = subprocess.call([os.path.join(options.git,
+ 'tools/genboardscfg.py')])
+ if status != 0:
+ sys.exit("Failed to generate boards.cfg")
boards = board.Boards()
boards.ReadBoards(os.path.join(options.git, 'boards.cfg'))