webmcp
diff libraries/extos/Makefile @ 487:91d0c8304d74
Do not execute abortable command if termination has already been requested
| author | jbe | 
|---|---|
| date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) | 
| parents | 9fdfb27f8e67 | 
| children | 72e55c2eb63c | 
   line diff
| author | jbe | 
|---|---|
| date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) | 
| parents | 9fdfb27f8e67 | 
| children | 72e55c2eb63c |