diff options
author | Alexey Neyman <stilor@att.net> | 2017-08-19 22:33:23 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-08-21 15:41:14 (GMT) |
commit | b75f03146218a09a2882d5ecbb8130dac1fc7ab9 (patch) | |
tree | 8d14d85e53672b24baf6c104152641636a66a56f /samples/x86_64-centos7-linux-gnu/reported.by | |
parent | b99b5288e762970d4b52c7c7b709bc725aa99edf (diff) |
Check for config file changes when restarting
Also, save/restore per-target source directory.
Fixes #800.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'samples/x86_64-centos7-linux-gnu/reported.by')
0 files changed, 0 insertions, 0 deletions