Rebuild the cores whenever important config files have changed
authorDavid Lichteblau <david@lichteblau.com>
Sun, 26 Dec 2010 12:34:38 +0000 (13:34 +0100)
committerDavid Lichteblau <david@radon.(none)>
Sun, 26 Dec 2010 12:34:38 +0000 (13:34 +0100)
commit71e2f62f5f6de3cda4baf24bdcbd427009c27a21
treea8ae3cbcd2f8692e364b7b29f0d34b687f449c57
parent3e9282ed0598ae4ea19f107840fc89f3d700d938
Rebuild the cores whenever important config files have changed
internal/impl.sh
internal/prepl.sh
internal/ql.sh