diff options
author | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2017-03-04 22:28:12 +0100 |
---|---|---|
committer | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2017-03-04 22:28:12 +0100 |
commit | bda4570a0273cffb60ff63743110bc7a8026216b (patch) | |
tree | 236799fc528b2c8027852b07029790235115430e /travis/targets/valgrind.sh | |
parent | 6f497276ca155173b4679e069de5b148af2905c0 (diff) | |
download | blogc-bda4570a0273cffb60ff63743110bc7a8026216b.tar.gz blogc-bda4570a0273cffb60ff63743110bc7a8026216b.tar.bz2 blogc-bda4570a0273cffb60ff63743110bc7a8026216b.zip |
make: make the reloader interface generic
this way it can run any rule, even if we don't need this feature now
Diffstat (limited to 'travis/targets/valgrind.sh')
0 files changed, 0 insertions, 0 deletions