diff options
author | 2017-03-27 14:32:48 +0200 | |
---|---|---|
committer | 2017-03-27 14:49:04 +0200 | |
commit | 7a305b6779b7cbf7ddf22dbaaf2c168b4c4697aa (patch) | |
tree | 3faa8ac6c8c863a872c8ad55c7de9b7c6a396478 /.gitignore | |
parent | 00bd644c0fbaf489fe32863d9fea3f3977975624 (diff) |
disable interactive mode in usual target 'build'
In Jenkins, the build job will now fail without breaking and waiting
for user interaction.
This patch also adds a new target 'build-debug' where debug is active.
So to summarize:
* 'make build-debug' does as before (interactive mode on error)
* 'make build' won't go interactive anymore and will simply fail (used by jenkins)
Change-Id: I951cecb58d03b48e4779086a9fba9b5a88889fca
Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ .*.sw* +INSTALL/DEBUG |