| commit | 601218c5e03c74e22f0b2127f88e6d15872f7bb2 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 16 Feb 2015 07:52:35 +0000 (16 10:52 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 16 Feb 2015 07:52:35 +0000 (16 10:52 +0300) | ||
| tree | 26cbbe4c9bab1cb0a2a35af6be009f1296ffcb56 | treesnapshot (tar.gz zip) |
| parent | 4c8a3f7eff2eb0c113f98fcb656298f5d362eecd | commitdiff |
db/reload_partial.sh: change database info for one file
This is mostly for quick debugging and not for production. The database
has a bunch of tables and this gives you a quick way to update the 3 most
important ones.
kchecker --info --spammy path/file.c > out.txt
~/path/to/smatch_data/db/reload_partial.sh out.txt
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is mostly for quick debugging and not for production. The database
has a bunch of tables and this gives you a quick way to update the 3 most
important ones.
kchecker --info --spammy path/file.c > out.txt
~/path/to/smatch_data/db/reload_partial.sh out.txt
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_data/db/reload_partial.sh | [new file with mode: 0755] | blob |