diff options
author | Norbert Thiebaud <nthiebaud@gmail.com> | 2014-10-08 17:51:33 -0500 |
---|---|---|
committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2014-10-08 17:51:33 -0500 |
commit | 4a5aaa340acec46a68145998d25cced805ae22ba (patch) | |
tree | d8f646f6e5ac2484e116d6c4e44d056e827cb1c7 | |
parent | b81602d8914f2e00d14087ea710f0fbde39a1ca6 (diff) |
tb: support and use autogen.input
-rw-r--r-- | tb/tb_internals.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tb/tb_internals.sh b/tb/tb_internals.sh index c08cf23..028e99a 100644 --- a/tb/tb_internals.sh +++ b/tb/tb_internals.sh @@ -95,7 +95,11 @@ collect_current_head() # copy_autogen_config() { - cp "${tb_CONFIG_DIR?}/profiles/${P?}/autogen.lastrun" autogen.lastrun + if [ -f "${tb_CONFIG_DIR?}/profiles/${P?}/autogen.lastrun" ] ; then + cp "${tb_CONFIG_DIR?}/profiles/${P?}/autogen.lastrun" autogen.input + else + cp "${tb_CONFIG_DIR?}/profiles/${P?}/autogen.input" autogen.input + fi } deliver_lo_to_bibisect() |