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 /build-aux/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 'build-aux/valgrind.sh')
0 files changed, 0 insertions, 0 deletions