| commit | 9379e965461be135d7c11d733f76d4a4cebbc297 | |
| author | ygrek <ygrek@autistici.org> | |
| Mon, 9 Nov 2015 02:10:15 +0000 (8 18:10 -0800) | ||
| committer | ygrek <ygrek@autistici.org> | |
| Mon, 9 Nov 2015 02:10:43 +0000 (8 18:10 -0800) | ||
| tree | 57b05bae5b29a3029b822166795227467bd69f85 | treesnapshot (tar.gz zip) |
| parent | 52dac4419fe23c7bbfc27bee060ed38d0153be98 | commitdiff |
configure: check camlp4 for examples that need it
| configure | diffblobblamehistory | |
| configure.in | diffblobblamehistory | |
| examples/Makefile.in | diffblobblamehistory |